Improve Display of Version Information
programming-wolf opened this issue · comments
The results of the discussions in the foundation working group require a change of the pdf theme. We drop the Version string in the footer. In addition, the revision number and revision date have to be combined with a - instead of ; .