Mike Fährmann 3c03928d75 simplify 'docs/options.md' generation ...

use the plain text output from '--help'
instead of trying to generate 'fancy' HTML with Markdown restrictions

2023-01-06 11:21:47 +01:00

977 B

Executable File

Raw Blame History

View Raw