3 Commits

Author	SHA1	Message	Date
Mike Fährmann	f1a715dbcd	improve docs/options.md ... - use non-breaking hyphens - don't replace '…' in examples - don't force width for long option column	2023-01-04 14:41:05 +01:00
Mike Fährmann	50d89d4acb	docs/options.md: use a separate table for each option group	2023-01-03 16:04:48 +01:00
Mike Fährmann	7de6b7f489	add list of command-line options as docs/options.md (#3464)	2023-01-02 19:14:16 +01:00