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