diff docs/conf.py @ 794:57de2981f589 default tip

Update to the latest Sphinx customizations
author Franz Glasner <fzglas.hg@dom66.de>
date Tue, 02 Jun 2026 12:35:24 +0200
parents 830a7536281b
children
line wrap: on
line diff