diff options
author | Martin Odersky <odersky@gmail.com> | 2015-10-31 13:08:25 +0100 |
---|---|---|
committer | Martin Odersky <odersky@gmail.com> | 2015-10-31 13:08:25 +0100 |
commit | 970a2bdc6c3ea7740e86217e1f30adb998457db9 (patch) | |
tree | 817f35384d81041a3fb3e2cd7f2eb5f4d6e8b4f3 | |
parent | 64247c1935f13645a12f21238c73727ebb607134 (diff) | |
download | dotty-970a2bdc6c3ea7740e86217e1f30adb998457db9.tar.gz dotty-970a2bdc6c3ea7740e86217e1f30adb998457db9.tar.bz2 dotty-970a2bdc6c3ea7740e86217e1f30adb998457db9.zip |
add out/ to .gitignore
It messes up git operations with out/.keep out of date. (reverted from commit 465ea96afb46e29fb523dad884f0ba860eeea6ff)
-rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore index 44b3bc64b..95d95ca11 100644 --- a/.gitignore +++ b/.gitignore @@ -6,7 +6,6 @@ # sbt specific dist/* target/ -out/ lib_managed/ src_managed/ project/boot/ |