-
Committer:
Wideland's Bunnybot
-
Date:
2016-02-02 13:05:50 UTC
-
mfrom:
(7770.1.1 ignore_dev_branch)
-
Revision ID:
bunnybot@widelands.org-20160202130550-c95bghxb5srgy37e
Merged lp:~widelands-dev/widelands/ignore_dev_branch:
For Travis builds ignore github branch _widelands_dev_widelands_trunk.