Commit graph

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