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
..
default.nix	doxygen: 1.8.14 -> 1.8.15	2019-01-02 17:21:42 +01:00