git.iko.soy/Idris-dev
on master help sign in
Merge pull request #2951 from melted/tweak_ignore

ignore .orig files

commitc5d331f98c1cfea1cb56cf3e694bb844214f411f authorNiklas Larsson <metaniklas@gmail.com> dateSat 6 Feb 2016, 16:31 (11 years ago) parent58f6c420d86940
1 file changed+1
compare with master
unifiedsplit
.gitignore+1
.gitignore+1
@@ -16,6 +16,7 @@ cabal.config
1616*~
1717.DS_Store
1818.hpc
19+*.orig
1920*.tix
2021.projectile
2122.dir-locals.el