aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-05-07 14:49:51 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-05-07 14:49:51 +0200
commit2c33e898930a8baaca3e5d7534a4ec84789b2a33 (patch)
tree3719654b7aef524c31eaedbd0f079fa199a2167d /.gitignore
parente959fde98f95f3595e01490b67892678bbcd1b27 (diff)
Adapt/delete hidden files to gmkin fork
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore9
1 files changed, 0 insertions, 9 deletions
diff --git a/.gitignore b/.gitignore
deleted file mode 100644
index 1cec81a..0000000
--- a/.gitignore
+++ /dev/null
@@ -1,9 +0,0 @@
-vignettes/*.aux
-vignettes/*.bbl
-vignettes/*.blg
-vignettes/*.log
-vignettes/*.out
-vignettes/*.toc
-vignettes/mkin.tex
-vignettes/FOCUS_L.html
-vignettes/FOCUS_Z.tex

Contact - Imprint