doxygen-no-html-timestamps.patch
