diff options
author | Jakob Odersky <jodersky@gmail.com> | 2015-12-28 11:54:00 +0100 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2016-01-29 13:50:37 -0800 |
commit | 4f4c799a6d9ccf333a3e609a2464e2f317875af7 (patch) | |
tree | 599232dd8c97fa9eb8f3426ea4375216ecadb386 /.gitignore | |
parent | c77bf21e7f4c197d34d23b2aebe5953a75d099e2 (diff) | |
download | mavigator-4f4c799a6d9ccf333a3e609a2464e2f317875af7.tar.gz mavigator-4f4c799a6d9ccf333a3e609a2464e2f317875af7.tar.bz2 mavigator-4f4c799a6d9ccf333a3e609a2464e2f317875af7.zip |
Rename project and update dependencies
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -17,6 +17,7 @@ project/plugins/project/ # ensime .ensime +.ensime_cache/ # general files /*.jar |