ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-19 04:57:24 +03:00
Code Issues Projects Releases Wiki Activity

Ignore Emacs noise

Browse Source
This commit is contained in:
David Raymond Christiansen 2015-02-16 11:15:10 +01:00
parent 7949fdb795
commit 17d752cf3a
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitignore vendored
View File

@ -14,6 +14,8 @@ cabal.sandbox.config
.DS_Store
.hpc
*.tix
.projectile
.dir-locals.el
custom.mk
libs/base/base_doc/
libs/effects/effects_doc/