log docs/conf.py @ 224:0f752f794797

age author description
Fri, 15 May 2026 19:29:23 +0200 Franz Glasner FIX: normalize case in package option again