Ignore some IDE-local files

oli-obk · oli-obk · commit e2a93c2feab8 · 2019-01-01T14:37:12.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -13,6 +13,7 @@ __pycache__/
 .settings/
 .valgrindrc
 .vscode/
+.favorites.json
 /*-*-*-*/
 /*-*-*/
 /Makefile
