git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2951 from melted/tweak_ignore
c5d331fNiklas Larsson
.gitignore+1
compare with master
unifiedsplit
@@ -16,6 +16,7 @@ cabal.config
16*~
16*~
17.DS_Store
17.DS_Store
18.hpc
18.hpc
19+*.orig
19*.tix
20*.tix
20.projectile
21.projectile
21.dir-locals.el
22.dir-locals.el