diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-21 16:47:08 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-21 16:58:36 +0200 |
| commit | e1a040d29d013d971c77481d5cb5aa6856b1cbeb (patch) | |
| tree | 5f15e729c967a19b49d296b6c4b45d58dd7869fb /README.html | |
| parent | 44557703a8f3d04ffe23dab7a398c451b5163faa (diff) | |
Reduce vignette sizes
Diffstat (limited to 'README.html')
0 files changed, 0 insertions, 0 deletions