From f4237b5c2efb8edac5b4a7b3dcc8a2c3aebb1509 Mon Sep 17 00:00:00 2001 From: Tobias Schmidl Date: Fri, 20 Oct 2023 10:11:15 +0200 Subject: [PATCH] codium: added WSL support --- .config/VSCodium/extensions.list | 11 ++++++----- 1 file changed, 6 insertions(+), 5 deletions(-) diff --git a/.config/VSCodium/extensions.list b/.config/VSCodium/extensions.list index 18ec14e..353fc9e 100644 --- a/.config/VSCodium/extensions.list +++ b/.config/VSCodium/extensions.list @@ -1,19 +1,20 @@ -DavidAnson.vscode-markdownlint -EditorConfig.EditorConfig -Gruntfuggly.todo-tree -KevinRose.vsc-python-indent -MS-CEINTL.vscode-language-pack-de alefragnani.project-manager bbenoist.Doxygen cheshirekow.cmake-format codezombiech.gitignore cschlosser.doxdocgen +DavidAnson.vscode-markdownlint donjayamanne.git-extension-pack donjayamanne.githistory donjayamanne.python-environment-manager eamodio.gitlens +EditorConfig.EditorConfig +Gruntfuggly.todo-tree jeanp413.open-remote-ssh +jeanp413.open-remote-wsl +KevinRose.vsc-python-indent llvm-vs-code-extensions.vscode-clangd +MS-CEINTL.vscode-language-pack-de ms-python.isort ms-python.pylint ms-python.python