diff options
author | Jakob Odersky <jakob@odersky.com> | 2016-10-11 01:08:14 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2016-10-11 01:08:14 -0700 |
commit | 7ab87deaa91bd19527da2c72937b1e2d1a97ef12 (patch) | |
tree | 5846934da9697498eb7c93f5c6679739870ae5c8 /.gitignore | |
download | ghstream-master.tar.gz ghstream-master.tar.bz2 ghstream-master.zip |
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore new file mode 100644 index 0000000..5066109 --- /dev/null +++ b/.gitignore @@ -0,0 +1,7 @@ +target/ + +*.class +*~ + +.ensime +.ensime_cache/ |