diff options
author | Jakob Odersky <jakob@odersky.com> | 2017-10-23 14:46:07 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2017-10-23 14:46:07 -0700 |
commit | 28c4d3c96c773c3ceb328b42de4b0168a04ba851 (patch) | |
tree | b7bff7749e834b3b417e202534f994519bcdcbd1 /home/.gitignore_global | |
parent | 1767b9db87a1bd1e416ae033bbee0dbd55c68556 (diff) | |
download | dotfiles-28c4d3c96c773c3ceb328b42de4b0168a04ba851.tar.gz dotfiles-28c4d3c96c773c3ceb328b42de4b0168a04ba851.tar.bz2 dotfiles-28c4d3c96c773c3ceb328b42de4b0168a04ba851.zip |
Update backup- and git ignore config
Diffstat (limited to 'home/.gitignore_global')
-rw-r--r-- | home/.gitignore_global | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/home/.gitignore_global b/home/.gitignore_global index 1b6f7c2..6293962 100644 --- a/home/.gitignore_global +++ b/home/.gitignore_global @@ -1,2 +1,3 @@ .ensime_cache/ -.ensime
\ No newline at end of file +.ensime +.idea/ |