diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-07 14:49:51 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-05-07 14:49:51 +0200 |
commit | 2c33e898930a8baaca3e5d7534a4ec84789b2a33 (patch) | |
tree | 3719654b7aef524c31eaedbd0f079fa199a2167d /.gitignore | |
parent | e959fde98f95f3595e01490b67892678bbcd1b27 (diff) |
Adapt/delete hidden files to gmkin fork
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 9 |
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 |