log docs/conf.py @ 740:cc9dff5fe0ca

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