Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Using ENSIME, I often have `.ensime_cache` polluting my source tree. This PR simply adds the cache directory to `.gitignore` Author: Jakob Odersky <[email protected]> Closes apache#9708 from jodersky/master.
- Loading branch information