Vladimír Čunát de96413bbf 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.		2019-01-02 17:08:02 +01:00
..
default.nix	doxygen: add sourceforge as mirror	2019-01-02 17:08:02 +01:00