ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-08-16 12:10:39 +03:00
Code Issues Projects Releases Wiki Activity

typo fix in git attributes, adding test results to gitignore

Browse Source
This commit is contained in:
chetant 2012-11-26 21:09:59 -05:00
parent fab5d73378
commit bb9a3ad79d
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
.gitattributes vendored
View File

@ -1 +1 @@
text=auto
* text=auto

1
.gitignore vendored
View File

@ -7,3 +7,4 @@ cabal-dev/
*~
test/output
test/test???/output
test/reg???/output