diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-21 18:05:21 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-07-21 18:06:09 +0200 |
| commit | 092c6fdc8b8bbadd3724b4023de60b7f1fe1500f (patch) | |
| tree | ff5d7e26de212574ae088326d6402607d53c1a60 /man | |
| parent | e1f2a552c8dc13ca51fce343db80d7939b20e928 (diff) | |
Fix another URL, vignette builder, rebuild
Diffstat (limited to 'man')
0 files changed, 0 insertions, 0 deletions