-
Mark OLESEN authored
- convenience for checking is any/all particular options have been specified. Eg, if (args.optionCount({"opt1", "opt2", "opt3"}) < 3) ...
f38ad72a
- convenience for checking is any/all particular options have been specified. Eg, if (args.optionCount({"opt1", "opt2", "opt3"}) < 3) ...