-
Jakob Odersky authored
Using ENSIME, I often have `.ensime_cache` polluting my source tree. This PR simply adds the cache directory to `.gitignore` Author: Jakob Odersky <jodersky@gmail.com> Closes #9708 from jodersky/master.
Jakob Odersky authoredUsing ENSIME, I often have `.ensime_cache` polluting my source tree. This PR simply adds the cache directory to `.gitignore` Author: Jakob Odersky <jodersky@gmail.com> Closes #9708 from jodersky/master.