diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-26 15:15:25 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2015-06-26 15:15:25 +0200 |
| commit | 89f54f33e5802e2f0270585b67ee562357461431 (patch) | |
| tree | 77fa83541e8c1ed1b053924b6a91ee8ab734883a /vignettes/header.tex | |
| parent | 6216ebf150371318e6ad8f7487121d39cc0fac24 (diff) | |
Rebuilding vignettes with current version is up to the user
Diffstat (limited to 'vignettes/header.tex')
0 files changed, 0 insertions, 0 deletions