diff Makefile @ 245:61861d36758c

Ensure that no options are really given when no options are allowed
author Franz Glasner <fzglas.hg@dom66.de>
date Sat, 10 Sep 2022 18:16:37 +0200
parents 16feee945857
children 9163fc9c7597
line wrap: on
line diff