git.iko.soy/Idris-dev
on master help sign in
Clean up .gitignore (tutorial/ removed)
2fcd41cMort Yao
.gitignore−8
compare with master
unifiedsplit
@@ -17,14 +17,6 @@ custom.mk
17test/output
17test/output
18test/*[0-9][0-9][0-9]/output
18test/*[0-9][0-9][0-9]/output
19test/*[0-9][0-9][0-9]/*.exe
19test/*[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
28tags
20tags
29TAGS
21TAGS
30src/Version_idris.hs
22src/Version_idris.hs