diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2017-01-19 11:44:22 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2017-01-19 11:44:22 +0100 |
| commit | 9f16be247e851c948edb30ac756550d89ba0af52 (patch) | |
| tree | d695183e71a295df8aa8837c21d1497319fb4e4a /GNUmakefile | |
| parent | 2ab822d51c4c7e29d62076336d7a3f02a46e41a5 (diff) | |
Another correction of the docs
Diffstat (limited to 'GNUmakefile')
0 files changed, 0 insertions, 0 deletions