One nit: In print help is a wrong short form option:
> echo "-a or --help Print this help." should be > echo "-h or --help Print this help." -a is used for asan. -- https://code.launchpad.net/~widelands-dev/widelands/run-asan/+merge/334227 Your team Widelands Developers is subscribed to branch lp:~widelands-dev/widelands/run-asan. _______________________________________________ Mailing list: https://launchpad.net/~widelands-dev Post to : [email protected] Unsubscribe : https://launchpad.net/~widelands-dev More help : https://help.launchpad.net/ListHelp
