diff windows-dev/Configure.py @ 706:59a3fb7fcac3

Prohibit "," and "|" in filter names
author Franz Glasner <f.glasner@feldmann-mg.com>
date Tue, 15 Aug 2023 10:38:38 +0200
parents 8efdb6357428
children
line wrap: on
line diff