> How about changing doxygen to default to HTML_TIMESTAMP=NO in Debian? Whilst this would benefit the reproducible project, I worry this would be a little too invasive and unexpected as a general default.
Regards,
--
,''`.
: :' : Chris Lamb
`. `'` [email protected] / chris-lamb.co.uk
`-
--
To UNSUBSCRIBE, email to [email protected]
with a subject of "unsubscribe". Trouble? Contact [email protected]
