mirror of
https://github.com/RIOT-OS/RIOT.git
synced 2025-12-13 08:33:49 +01:00
.gitignore: ignore *.code-workspace files
those can be used in VSCode/VSCodium to save user-settings alongside the git-tracked .vscode/settings.json inspired by https://laurens.io/blog/changing-vs-code-settings-locally-when-its-checked-into-git/
This commit is contained in:
parent
7b24c75152
commit
4eb34e4543
1
.gitignore
vendored
1
.gitignore
vendored
@ -39,6 +39,7 @@ cachegrind.out*
|
|||||||
# Visual Studio Code user settings
|
# Visual Studio Code user settings
|
||||||
.vscode/*
|
.vscode/*
|
||||||
!.vscode/settings.json
|
!.vscode/settings.json
|
||||||
|
*.code-workspace
|
||||||
# ctags index files
|
# ctags index files
|
||||||
tags
|
tags
|
||||||
# GDB initialization scripts
|
# GDB initialization scripts
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user