log docs/conf.py @ 765:0180b7deebf1

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