git.iko.soy/Idris-dev
on master help sign in
Add generated library docs to .gitignore
480ecd8David Raymond Christiansen
.gitignore+3
compare with master
unifiedsplit
@@ -15,6 +15,9 @@ cabal.sandbox.config
15.hpc
15.hpc
16*.tix
16*.tix
17custom.mk
17custom.mk
18+libs/base/base_doc/
19+libs/effects/effects_doc/
20+libs/prelude/prelude_doc/
18test/output
21test/output
19test/*[0-9][0-9][0-9]/output
22test/*[0-9][0-9][0-9]/output
20test/*[0-9][0-9][0-9]/*.exe
23test/*[0-9][0-9][0-9]/*.exe