widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #11117
Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
As discussed in the attached bug, I added an option to disable map animating.
--
https://code.launchpad.net/~widelands-dev/widelands/add_animation_option/+merge/330126
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/add_animation_option into lp:widelands.
Follow ups
-
[Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: noreply, 2017-09-11
-
Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: kaputtnik, 2017-09-11
-
Re: [Merge]lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: GunChleoc, 2017-09-11
-
Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: SirVer, 2017-09-11
-
[Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: SirVer, 2017-09-11
-
Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: GunChleoc, 2017-09-10
-
Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: SirVer, 2017-09-06
-
Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: kaputtnik, 2017-09-05
-
Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: SirVer, 2017-09-05
-
Re: [Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: kaputtnik, 2017-09-04
-
[Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: bunnybot, 2017-09-04
-
[Merge] lp:~widelands-dev/widelands/add_animation_option into lp:widelands
From: SirVer, 2017-09-03