penev92 2d23d76e89 Change default utility command for VSCode launch		2023-03-22 22:41:39 +01:00
..
extensions.json	Ordered VSCode extension recommendations	2023-02-25 14:53:09 +00:00
launch.json	Change default utility command for VSCode launch	2023-03-22 22:41:39 +01:00
tasks.json	Added VSCode configuration	2023-01-15 21:44:53 +01:00