Viewing all changes in revision 8710.
- Committer: Wideland's Bunnybot
- Date: 2018-05-15 07:51:29 UTC
- mfrom: (8701.2.5 bug-1636586-editor-player-menu-i18n)
- Revision ID: bunnybot@widelands.org-20180515075129-6lqgxo7ct3kmtkiv
Merged lp:~widelands-dev/widelands/bug-1636586-editor-player-menu-i18n:
Fixed mix of localized / unlocalized default player names in editor. Default names are now saved as empty strings.
Fixed mix of localized / unlocalized default player names in editor. Default names are now saved as empty strings.
- files modified:
- src/map_io/map_player_names_and_tribes_packet.cc
expand all
collapse all
added
removed
