remove unused extension

This commit is contained in:
陈浩南 2023-07-26 14:20:48 +08:00
parent 2f9987cc78
commit 05b4bdf491

View File

@ -145,7 +145,7 @@ inputs:
vscode-with-extensions.override
{
vscodeExtensions = with nix-vscode-extensions.vscode-marketplace;
(with equinusocio; [ vsc-community-material-theme vsc-material-theme vsc-material-theme-icons ])
(with equinusocio; [ vsc-community-material-theme vsc-material-theme-icons ])
++ (with github; [ copilot github-vscode-theme ])
++ (with intellsmi; [ comment-translate deepl-translate ])
++ (with ms-python; [ isort python vscode-pylance ])