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

This commit is contained in:
Miha Grohar 2023-09-04 08:20:55 +00:00
parent 3f71ec5e9f
commit bea8094d7c

View file

@ -19,7 +19,7 @@
- dramforever.vscode-ghc-simple
- eamodio.gitlens
- justusadam.language-haskell
- ms-dotnettools.csharp
- ms-dotnettools.csdevkit # IS-63714
- ms-python.python
- ms-vscode.cpptools
- stonebuddha.vscode-better-sml