diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-03-28 10:44:50 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-03-28 10:44:50 +0200 |
| commit | 063ae84c199e1223a620fe512ab8713371119f5f (patch) | |
| tree | d862da26840ff15704f9aff5cbc4ea8860369493 /GNUmakefile | |
| parent | 4a80cdabfb080a0b1082e02c5af9adfb5e3c99b0 (diff) | |
Change vignette format for twa vignette, update docs
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions