git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3091 from ahmadsalim/fix/dsym-gitignore
7f21388Ahmad Salim Al-Sibahi
.gitignore+1
compare with master
unifiedsplit
@@ -18,6 +18,7 @@ cabal.config
18.hpc
18.hpc
19*.orig
19*.orig
20*.tix
20*.tix
21+*.dSYM
21.projectile
22.projectile
22.dir-locals.el
23.dir-locals.el
23custom.mk
24custom.mk