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