diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2014-07-14 20:18:53 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-07-14 20:18:53 +0200 |
| commit | e0a3413892c7330d496b448a561e87d2bdd67aa9 (patch) | |
| tree | 20227b52969496a03daf1fe01588783e4a112501 /.gitignore | |
| parent | a69bf39427ff4f93eebdc8bceacb8174ff13c085 (diff) | |
| parent | 759e693e9af8e794bbfa62b001117fabbdbc8bfa (diff) | |
Merge bugfix branch 'master' into iore
Add IORE support to mkinerrmin
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -7,5 +7,4 @@ vignettes/*.log vignettes/*.out vignettes/*.toc vignettes/mkin.tex -vignettes/FOCUS_L.html vignettes/FOCUS_Z.tex |