diff options
author | Johannes Ranke <jranke@uni-bremen.de> | 2014-07-16 09:56:33 +0200 |
---|---|---|
committer | Johannes Ranke <jranke@uni-bremen.de> | 2014-07-16 09:56:33 +0200 |
commit | b4d253edcf71fbf4175bc73cdb9593eea816c358 (patch) | |
tree | 976e91370e7d417854165d20cf710b5e69307a7e /vignettes/header.tex | |
parent | e0a3413892c7330d496b448a561e87d2bdd67aa9 (diff) | |
parent | 2abca7e5eadfdf7a9d1a95c448c9f62435e49745 (diff) |
Merge branch 'master' into iore
Diffstat (limited to 'vignettes/header.tex')
0 files changed, 0 insertions, 0 deletions