diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2021-02-13 18:07:55 +0100 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2021-02-13 18:07:55 +0100 |
| commit | f4b8ad79a0ea62ecc339defa0b054f23a9fc18dd (patch) | |
| tree | 96f12f46347c4d2d1128ac28e6423caa21aaee7d | |
| parent | d878d2ccf1e094092c2b272cb27585132c3e75ba (diff) | |
Remove obsolete TODO list
| -rw-r--r-- | TODO | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -1 +0,0 @@ -- Update the manual |