log docs/conf.py @ 249:feaa552cbe98

age author description
Sat, 16 May 2026 15:16:42 +0200 Franz Glasner Some overhowl of the docs configuration in conf.py.
Sat, 16 May 2026 12:31:26 +0200 Franz Glasner Use "rev " instead of "rv:" in the revision footer
Sat, 16 May 2026 12:30:58 +0200 Franz Glasner Use the "dev-" prefix instead of "dev:"