log docs/conf.py @ 769:4a4d1323b282 default tip

age author description
Fri, 18 Aug 2023 11:50:39 +0200 Franz Glasner FIX: Make all configurations on conf10.* semantically identical.
Tue, 15 Aug 2023 20:07:25 +0200 Franz Glasner - Document the optional module configmix._speedups somewhat
Tue, 15 Aug 2023 18:22:55 +0200 Franz Glasner Need Sphinx >= 5.1 now for building the documentation