aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJakob Odersky <jodersky@gmail.com>2015-12-28 11:54:00 +0100
committerJakob Odersky <jakob@odersky.com>2016-01-29 13:50:37 -0800
commit4f4c799a6d9ccf333a3e609a2464e2f317875af7 (patch)
tree599232dd8c97fa9eb8f3426ea4375216ecadb386 /.gitignore
parentc77bf21e7f4c197d34d23b2aebe5953a75d099e2 (diff)
downloadmavigator-4f4c799a6d9ccf333a3e609a2464e2f317875af7.tar.gz
mavigator-4f4c799a6d9ccf333a3e609a2464e2f317875af7.tar.bz2
mavigator-4f4c799a6d9ccf333a3e609a2464e2f317875af7.zip
Rename project and update dependencies
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 22973af..5133a17 100644
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@ project/plugins/project/
# ensime
.ensime
+.ensime_cache/
# general files
/*.jar