diff -up doxygen-1.8.9.1/src/config.xml.html_timestamp_default_false doxygen-1.8.9.1/src/config.xml --- doxygen-1.8.9.1/src/config.xml.html_timestamp_default_false 2014-12-25 13:43:29.000000000 +0100 +++ doxygen-1.8.9.1/src/config.xml 2015-01-21 16:31:37.221391259 +0100 @@ -1624,7 +1624,7 @@ to disable this feature. - -