diff options
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index d6846cf63..90f3d6752 100644 --- a/.gitignore +++ b/.gitignore | |||
@@ -50,6 +50,7 @@ doxygen/ | |||
50 | .browse.VC.db* | 50 | .browse.VC.db* |
51 | *.stackdump | 51 | *.stackdump |
52 | # Let these ones be user specific, since we have so many different configurations | 52 | # Let these ones be user specific, since we have so many different configurations |
53 | *.code-workspace | ||
53 | .vscode/c_cpp_properties.json | 54 | .vscode/c_cpp_properties.json |
54 | .vscode/launch.json | 55 | .vscode/launch.json |
55 | .vscode/tasks.json | 56 | .vscode/tasks.json |