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 /README.md | |
parent | 6216ebf150371318e6ad8f7487121d39cc0fac24 (diff) |
Rebuilding vignettes with current version is up to the user
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions