Simon Rozman bf94c6a53a Enforce VSCode settings for all developers ...

But continue to allow own launch and other VSCode files per each working
directory.

2024-02-07 12:44:13 +01:00

..

settings.json

Enforce VSCode settings for all developers

2024-02-07 12:44:13 +01:00