diff docs/conf.py @ 706:45051412d0b8

check-ports: modernized somewhat: quoting and "read -r"
author Franz Glasner <fzglas.hg@dom66.de>
date Wed, 02 Oct 2024 12:59:44 +0200
parents 260a81d769a6
children 56ab5c012d5f
line wrap: on
line diff