3 commits

Author	SHA1	Message	Date
Tillmann Rendel	587e6d2ded	Move back to .vscode folder	2022-02-01 23:33:24 +01:00
Tillmann Rendel	420045210c	Try moving .gitattributes to root	2022-02-01 15:27:59 +01:00
Tillmann Rendel	dbbabedec6	Allow comments in VS Code configuration ... Since JSON formally cannot contain comments, GitHub highlights comments in JSON files as errors, but the configuration files for VS Code in this repository contain comments. This commit configures GitHub to use a different syntax highlighter for the affected files.	2022-02-01 15:09:51 +01:00