log docs/conf.py @ 733:06b6c14bcd61

age author description
Fri, 18 Aug 2023 11:50:39 +0200 Franz Glasner FIX: Make all configurations on conf10.* semantically identical.