widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #04845
Re: [Merge] lp:~widelands-dev/widelands/ai_ship_tweaks into lp:widelands
For the user, Ship 1577, 8523, 5719 can be easily renamed to Ship 1, 2, 3 by a simple enumeration, since the numbers can be strictly sorted...
--
https://code.launchpad.net/~widelands-dev/widelands/ai_ship_tweaks/+merge/280192
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/ai_ship_tweaks into lp:widelands.
References