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
..
doxygen	doxygen: add sourceforge as mirror	2019-01-02 17:08:02 +01:00
gnome-doc-utils	treewide: Make configureFlags lists	2018-08-03 17:06:03 -04:00
gtk-doc	gtk-doc: don't build with dblatex by default	2018-09-17 01:33:20 +02:00
mkdocs	mkdocs: 0.17.5 -> 1.0.4	2018-12-15 00:48:32 +01:00