diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-01-08 17:12:37 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-01-08 17:12:37 +0100 |
| commit | 2fea32c136d01771e61ab27c78a6a27c3f4ecc39 (patch) | |
| tree | 2be1e6f6372cf118d081d34dea26b5ad881131b3 /vignettes/gmkin_manual.md | |
| parent | 48a147159132372faafb9409975c53b45038fa33 (diff) | |
Fixed some bugs, thanks to Stefan Meinecke for reporting
Diffstat (limited to 'vignettes/gmkin_manual.md')
0 files changed, 0 insertions, 0 deletions