widelands-dev team mailing list archive

[kaputtnik <somal@xxxxxxxx>]

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.