Ignore some IDE-local files

2018-12-23 21:21:02 +01:00
parent 2f19f8cec9
commit 67ede4cb7f
1 changed files with 1 additions and 0 deletions
@@ -13,6 +13,7 @@ __pycache__/
 .settings/
 .valgrindrc
 .vscode/
+.favorites.json
 /*-*-*-*/
 /*-*-*/
 /Makefile