ilyakooo0/Idris-dev
1
0
Fork 0
mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-09-17 11:47:20 +03:00
Code Issues Projects Releases Wiki Activity

Update .gitignore for new tests structure

Browse Source
This commit is contained in:
David Raymond Christiansen 2014-02-01 12:46:57 +01:00
parent 6808ce526f
commit 547d0bab56
1 changed files with 2 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.gitignore vendored
View File

@ -15,10 +15,8 @@ cabal.sandbox.config
*.tix
custom.mk
test/output
test/test???/output
test/reg???/output
test/test???/*.exe
test/reg???/*.exe
test/*[0-9][0-9][0-9]/output
test/*[0-9][0-9][0-9]/*.exe
tutorial/*.aux
tutorial/*.bbl
tutorial/*.blg