git.iko.soy/Idris-dev
on master help sign in
Ignore Emacs noise
commit17d752cf3aae280aea923ad14590ec1202995efd authorDavid Raymond Christiansen <david@davidchristiansen.dk> dateMon 16 Feb 2015, 11:15 (12 years ago) parent7949fdb
1 file changed+2
compare with master
unifiedsplit
.gitignore+2
.gitignore+2
@@ -14,6 +14,8 @@ cabal.sandbox.config
1414.DS_Store
1515.hpc
1616*.tix
17+.projectile
18+.dir-locals.el
1719custom.mk
1820libs/base/base_doc/
1921libs/effects/effects_doc/