nixpkgs/pkgs/development/tools/documentation
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
gtk-doc
mkdocs