Cactus: mention \gitrevision macro in thorndoc template
Cactus: add LaTeX macro to extract git commit hash for HEAD
Cactus: include date and git commit hash in title page
Â
Cactus: add LaTeX macro to extract git commit hash for HEAD
Cactus: include date and git commit hash in title page
Â