diff options
author | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2018-12-23 21:21:02 +0100 |
---|---|---|
committer | Oliver Scherer <github35764891676564198441@oli-obk.de> | 2019-01-08 15:21:06 +0100 |
commit | 67ede4cb7fee65e2d797a7d02abb0d199f5ab377 (patch) | |
tree | d90c443a5335de65c3eaf91b47bc57e39486b9b1 /.gitignore | |
parent | 2f19f8cec96d96d83b393fbbdd61204b87d423e6 (diff) | |
download | rust-67ede4cb7fee65e2d797a7d02abb0d199f5ab377.tar.gz |
Ignore some IDE-local files
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index e18acfd98e2..67e0dd8e795 100644 --- a/.gitignore +++ b/.gitignore @@ -13,6 +13,7 @@ __pycache__/ .settings/ .valgrindrc .vscode/ +.favorites.json /*-*-*-*/ /*-*-*/ /Makefile |