On 2015-02-10 23:33, Chris Lamb wrote: How about changing doxygen to default to HTML_TIMESTAMP=NO in Debian? This way many package would benefit at once.
-- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
