aboutsummaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorJohannes Ranke <jranke@uni-bremen.de>2014-07-14 18:25:53 +0200
committerJohannes Ranke <jranke@uni-bremen.de>2014-07-14 18:25:53 +0200
commit759e693e9af8e794bbfa62b001117fabbdbc8bfa (patch)
tree2c4fb2232763595924090c76ae95e0b87dd76f40 /.gitignore
parenta9a3b38a2ca5bc7223435f43814cfc6c7a1077bd (diff)
Bugfix release version 0.9-31
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 0 insertions, 1 deletions
diff --git a/.gitignore b/.gitignore
index 9dc50c23..2c416f60 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,5 +7,4 @@ vignettes/*.log
vignettes/*.out
vignettes/*.toc
vignettes/mkin.tex
-vignettes/FOCUS_L.html
vignettes/FOCUS_Z.tex

Contact - Imprint