diff options
author | Luis Moreno <lmoreno.serrano@gmail.com> | 2021-04-25 22:46:28 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-26 06:46:28 +1000 |
commit | 417a07c22db39dc544f00f9a8b71a7fe1479981e (patch) | |
tree | dcd8f4884734e748d2aeb3412fd6f5d563fc59ea /.gitignore | |
parent | 611cd80861b1bd8ad57ef5b78f11a349e74b1949 (diff) |
[Config] Add VSCode workspace files to .gitignore (#12469)
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index d6846cf63b..90f3d67527 100644 --- a/.gitignore +++ b/.gitignore @@ -50,6 +50,7 @@ doxygen/ .browse.VC.db* *.stackdump # Let these ones be user specific, since we have so many different configurations +*.code-workspace .vscode/c_cpp_properties.json .vscode/launch.json .vscode/tasks.json |