widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

I have now looked at the toggle_resources branch, and I think that we can have the same simplification there. So, better change this in the other branch, since this branch is temporary.
-- 
https://code.launchpad.net/~widelands-dev/widelands/buildhelp_overlay/+merge/328956
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/buildhelp_overlay into lp:widelands.