2 Commits

Author	SHA1	Message	Date
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