diff options
| author | Florian Dold <florian.dold@gmail.com> | 2019-09-14 17:19:15 +0200 |
|---|---|---|
| committer | Florian Dold <florian.dold@gmail.com> | 2019-09-14 17:19:15 +0200 |
| commit | cec90dc294677d58ec86ec9c4760301d55f33c65 (patch) | |
| tree | d19c4a7371eb6c106013d0692009fe8f8619b347 /configure | |
| parent | 36a4a6218c86f9c352a3bed4bc51dc54389714be (diff) | |
remove outdated docs, docs now are in docs.git
Diffstat (limited to 'configure')
0 files changed, 0 insertions, 0 deletions