The proposal to merge lp:~widelands-dev/widelands/ai_wai_files_2 into
lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/ai_wai_files_2/+merge/341010
--
Your team Widelands Developers is subscri
Review: Approve
Great, let's get them in ASAP :)
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/ai_wai_files_2/+merge/341010
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/ai_wai_files_2.
The proposal to merge lp:~widelands-dev/widelands/ai_wai_files_2 into
lp:widelands has been updated.
Commit Message changed to:
New AI files
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/ai_wai_files_2/+merge/341010
--
Your team Widelands Developers is requested
/_widelands_dev_widelands_ai_wai_files_2-3088.
--
https://code.launchpad.net/~widelands-dev/widelands/ai_wai_files_2/+merge/341010
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands.
___
Mailing list
training. No code.
--
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/ai_wai_files_2 into lp:widelands.
=== modified file 'data/ai/ai_input_1.wai'
--- data/ai/ai_input_1.wai 2018-02-26 20:43:02 +
+++ data/ai/ai_input_1.wai 2018-03-07 11:27
5 matches
Mail list logo