diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2017-03-31T13·50+0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2017-03-31T13·50+0200 |
| commit | e1509adbbb12851c30ba230650005bd141958249 (patch) | |
| tree | 0cffca91088dff2eefed9d179862c7bb6fe8f844 /doc/manual/manual.xml | |
| parent | d0877003475ecb3ea18a256239a9948fe0f28035 (diff) | |
Retry curl error 16
Diffstat (limited to 'doc/manual/manual.xml')
0 files changed, 0 insertions, 0 deletions