Sybren A. Stüvel
49aeccf37b
This prevents different user preferences fighting each other. Other VSCode files are still there as I think they're generally useful: - `extensions.json` for suggesting some VSCode extensions - `launch.json` to launch Worker and Manager in the debugger |
||
---|---|---|
.. | ||
extensions.json | ||
launch.json |