diff options
| author | Christian Grothoff <christian@grothoff.org> | 2020-01-17 00:20:39 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2020-01-17 00:20:39 +0100 |
| commit | c677720e7b5c6a228159044e35ac12554e9c280b (patch) | |
| tree | d8e2faca401f4effb5a226bc860b3a3f40e7c8ac /doc | |
| parent | 401a1f82efb39a806c2301f8938557fef14ea174 (diff) | |
fix ftbfs
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions