git.iko.soy/Idris-dev
on master help sign in
Merge pull request #339 from david-christiansen/gitignore
02f57efEdwin Brady
.gitignore+6−1
compare with master
unifiedsplit
@@ -14,4 +14,9 @@ test/test???/output
14test/reg???/output
14test/reg???/output
15test/test???/*.exe
15test/test???/*.exe
16test/reg???/*.exe
16test/reg???/*.exe
17−
17+tutorial/*.aux
18+tutorial/*.bbl
19+tutorial/*.blg
20+tutorial/*.log
21+tutorial/*.out
22+tutorial/*.toc