diff --git a/roles/vscode/tasks/vscode_extensions.yml b/roles/vscode/tasks/vscode_extensions.yml index 7255502..3acb371 100644 --- a/roles/vscode/tasks/vscode_extensions.yml +++ b/roles/vscode/tasks/vscode_extensions.yml @@ -10,7 +10,7 @@ VSCode_Extensions: - franneck94.c-cpp-runner - ritwickdey.LiveServer - ms-toolsai.jupyter - - vscodevim.vim + # - vscodevim.vim - ocamllabs.ocaml-platform - stonebuddha.vscode-better-sml - vscode-icons-team.vscode-icons