Clean up .gitignore (tutorial/ removed)
commit2fcd41cb4ed0d081329214b6df318b638c87a4fb
authorMort Yao <mort.yao@gmail.com>
dateThu 20 Nov 2014, 06:03 (12 years ago)
parentefd6f8a
.gitignore−8
@@ -17,14 +17,6 @@ custom.mk
1717test/output
1818test/*[0-9][0-9][0-9]/output
1919test/*[0-9][0-9][0-9]/*.exe
20−tutorial/*.aux
21−tutorial/*.bbl
22−tutorial/*.blg
23−tutorial/*.log
24−tutorial/*.out
25−tutorial/*.toc
26−tutorial/*.fdb_latexmk
27−tutorial/*.fls
2820tags
2921TAGS
3022src/Version_idris.hs