annotate docs/_static/_dummy @ 427:7056e5b7712d

Improvenents in handling names with spaces: quoting fixes
author Franz Glasner <hg@dom66.de>
date Thu, 21 Sep 2023 12:03:09 +0200
parents 7811505d68d4
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source