Update vscode extension ms-dotnettools.csharp to ms-dotnettools.csdevkit

This commit is contained in:
Miha Grohar 2023-09-04 08:18:37 +00:00
parent e4ba9607bd
commit 3f71ec5e9f

View file

@ -20,7 +20,7 @@
- dramforever.vscode-ghc-simple - dramforever.vscode-ghc-simple
- eamodio.gitlens - eamodio.gitlens
- justusadam.language-haskell - justusadam.language-haskell
- ms-dotnettools.csharp - ms-dotnettools.csdevkit # IS-63714
- ms-python.python - ms-python.python
- ms-vscode.cpptools - ms-vscode.cpptools
- ocamllabs.ocaml-platform - ocamllabs.ocaml-platform