Clemens Tolboom 8c09888de4 Use long options instead of short ones ... It is a little hard to learn what the options mean.		2023-02-19 13:48:37 -05:00
..
manual	Use long options instead of short ones	2023-02-19 13:48:37 -05:00