summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'decisions/.gitignore')
-rw-r--r--decisions/.gitignore6
1 files changed, 1 insertions, 5 deletions
diff --git a/decisions/.gitignore b/decisions/.gitignore
index e6424cb..7745f52 100644
--- a/decisions/.gitignore
+++ b/decisions/.gitignore
@@ -5,14 +5,10 @@ decisions.log
decisions.out
decisions.pdf
decisions.toc
-decisions.bug
decisions.bur
-decisions.mld
-decisions.mlr
decisions.glr
-decisions.glg
decisions.html
-decisions.deg
decisions.der
+decisions.mlr
*.backup
*.aux