git.iko.soy/Idris-dev
on master help sign in
add vim temp files and cabal-dev directory to git ignore
77a2cd8Jason Dagit
.gitignore+2
compare with master
unifiedsplit
@@ -1,6 +1,8 @@
1dist
1dist
2+cabal-dev/
2*.ibc
3*.ibc
3*.o
4*.o
4*.a
5*.a
6+*.swp
5test/output
7test/output
6test/test???/output
8test/test???/output