An error occurred while fetching folder content.
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: 
Gerwin Klein <gerwin.klein@proofcraft.systems>| Name | Last commit | Last update |
|---|