diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2019-04-25 10:25:56 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2019-04-25 10:25:56 +0200 |
| commit | 3bb842b93107dd6207610de1fe5b44be66779e4d (patch) | |
| tree | 71de40569299510311e697ffe7e9fc7d96a1c158 /ChangeLog | |
| parent | 77f63efa62b6530fbe2accdacc866e34626fe4e3 (diff) | |
Remove leftover docs from earlier version
Docs now live in docs/
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions