log docs/conf.py @ 163:315cfe0a836f

age author description
Fri, 08 May 2026 17:46:28 +0200 Franz Glasner Implement lexer option "prohibit_raiseonerror_filter".
Fri, 08 May 2026 16:36:11 +0200 Franz Glasner Disable a default domain when generating the docs