diff docs/conf.py @ 116:9bfd87544902

Use arrows from Supplemental Arrows-A Unicode block where appropriate: better readability
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 06 May 2026 10:05:57 +0200
parents 93ade4c595b7
children a861ac4d11fc
line wrap: on
line diff