Index: Doxyfile
===================================================================
--- Doxyfile.orig	2014-02-08 14:06:14.000000000 +0100
+++ Doxyfile	2014-05-13 09:07:52.475141202 +0200
@@ -148,7 +148,7 @@
 HTML_COLORSTYLE_HUE    = 220
 HTML_COLORSTYLE_SAT    = 100
 HTML_COLORSTYLE_GAMMA  = 80
-HTML_TIMESTAMP         = YES
+HTML_TIMESTAMP         = NO
 HTML_DYNAMIC_SECTIONS  = YES
 HTML_INDEX_NUM_ENTRIES = 100
 GENERATE_DOCSET        = YES