Bump games/widelands to version b19_12
authorDPorts Builder <nobody@home.ok>
Wed, 29 Aug 2018 00:58:47 +0000 (17:58 -0700)
committerDPorts Builder <nobody@home.ok>
Wed, 29 Aug 2018 00:58:47 +0000 (17:58 -0700)
commitfadc70540acaf46eae7658609a763a5d14337497
tree28cfa00d3f233f4eac2fc131b11bae1adf48f3a4
parent81692b67592a1ed43eeb0d1ba5fd5e0b7fc881c5
Bump games/widelands to version b19_12
games/widelands/Makefile