log docs/conf.py @ 767:538a579cf6fe

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