git.iko.soy/Idris-dev
on master help sign in
typo fix in git attributes, adding test results to gitignore
bb9a3adchetant
.gitattributes+1−1
compare with master
unifiedsplit
@@ -1 +1 @@
1−text=auto
1+* text=auto
.gitignore+1
@@ -7,3 +7,4 @@ cabal-dev/
7*~
7*~
8test/output
8test/output
9test/test???/output
9test/test???/output
10+test/reg???/output