diff options
| author | Vladimír Čunát <vcunat@gmail.com> | 2019-01-02 17:06:20 +0100 |
|---|---|---|
| committer | Vladimír Čunát <vcunat@gmail.com> | 2019-01-02 17:08:02 +0100 |
| commit | de96413bbfc3deae4e81b48d7d973f836985c39c (patch) | |
| tree | 6c697ec038aad9feda0fe22c87223e771449ccdf /pkgs/development/python-modules/httpserver | |
| parent | f0c41f0bbf36b90b05349e5d4e13e7f33196ab17 (diff) | |
doxygen: add sourceforge as mirror
It turns out the upstream URL is very slow (for me at least).
We get caching through nixos.org, but this shouldn't hurt anyway.
Diffstat (limited to 'pkgs/development/python-modules/httpserver')
0 files changed, 0 insertions, 0 deletions