diff options
| author | Michael Vogt <michael.vogt@ubuntu.com> | 2011-03-24 17:45:20 +0100 |
|---|---|---|
| committer | Michael Vogt <michael.vogt@ubuntu.com> | 2011-03-24 17:45:20 +0100 |
| commit | 0004842de7eeac345b614fa0b6bd241af0c4cc34 (patch) | |
| tree | 54a44e3a88c6426bd1257e60768f974c8f2e736c /doc/Doxyfile.in | |
| parent | 83e6798e72fabee7ec333a7e897b095cda688c45 (diff) | |
do not crash if the mirror file fails to download
Diffstat (limited to 'doc/Doxyfile.in')
0 files changed, 0 insertions, 0 deletions