log docs/conf.py @ 773:0c3507865bca

age author description
Wed, 13 May 2026 20:14:55 +0200 Franz Glasner FIX: Make the "intersphinx_mapping" compatible to Sphinx 8.