Skip to content
Snippets Groups Projects
user avatar
Gerwin Klein authored
HTML_TIMESTAMP and LATEX_TIMESTAMP have been removed in more recent
doxygen versions. Since we are using the defaults, they are safe to
remove in our config file.

Signed-off-by: default avatarGerwin Klein <gerwin.klein@proofcraft.systems>
beb2c0d1
History
Name Last commit Last update