rc/classroom
5
0
Fork 0
Code Issues 1 Pull requests Projects Releases Packages Wiki Activity Actions

PPJ cleanup

Browse source
This commit is contained in:
kllemen 2024-09-13 15:52:03 +02:00
parent dafd821af9
commit ba865a9034
9 changed files with 49 additions and 64 deletions
Download patch file Download diff file Expand all files Collapse all files

4
roles/winroom/tasks/vscode_extensions.yml
View file

@ -1,13 +1,9 @@
VSCode_Extensions:
- VisualStudioExptTeam.vscodeintellicode
- arthurwang.vsc-prolog
- dramforever.vscode-ghc-simple
- eamodio.gitlens
- justusadam.language-haskell
- ms-dotnettools.csdevkit # IS-63714
- ms-python.python
- ms-vscode.cpptools
- ocamllabs.ocaml-platform
- stonebuddha.vscode-better-sml
- vscode-icons-team.vscode-icons
- vscjava.vscode-java-pack