widelands-dev team mailing list archive

[kaputtnik <somal@xxxxxxxx>]

The number of digits doesn't matter. Having different values makes sure the ordering is properly set.

Thanks for the review :)

I'll make another test on my Laptop and merge this then. 
-- 
https://code.launchpad.net/~widelands-dev/widelands-website/forum_list/+merge/313357
Your team Widelands Developers is subscribed to branch lp:widelands-website.