Vladimír Čunát 1ec9f8b62f doxygen: 1.8.14 -> 1.8.15 ... I thought of filing a PR, but it would seem a useless step, even though the release seems to bring lots of changes: http://www.doxygen.nl/manual/changelog.html#log_1_8_15 My relatively simple use case still works (atop 18.09).		2019-01-02 17:21:42 +01:00
..
doxygen	doxygen: 1.8.14 -> 1.8.15	2019-01-02 17:21:42 +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