diff options
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 18 |
1 files changed, 1 insertions, 17 deletions
| @@ -1,17 +1 @@ | |||
| 1 | .do_built* | /result | |
| 2 | build/preview/* | ||
| 3 | !build/preview/preview.dtx | ||
| 4 | !build/preview/preview.ins | ||
| 5 | !build/preview/preview.sty.do | ||
| 6 | htdocs | ||
| 7 | nginx | ||
| 8 | |||
| 9 | *.html | ||
| 10 | *.rss | ||
| 11 | index.md | ||
| 12 | lists/*.md | ||
| 13 | lists/*/preview | ||
| 14 | tex/ | ||
| 15 | |||
| 16 | cabal.sandbox.config | ||
| 17 | .cabal-sandbox/ \ No newline at end of file | ||
