Thomas Basler 18f880530f Apply correct order to extension.json items ... VSCode applys this sorting anyways		2023-04-17 21:49:17 +02:00
..
extensions.json	Apply correct order to extension.json items	2023-04-17 21:49:17 +02:00
settings.json	Added workspace specific vscode settings.json	2022-11-10 20:20:56 +01:00