Bump games/widelands to version b19_10
authorDPorts Builder <nobody@home.ok>
Sat, 7 Jul 2018 22:29:14 +0000 (15:29 -0700)
committerDPorts Builder <nobody@home.ok>
Sat, 7 Jul 2018 22:29:14 +0000 (15:29 -0700)
commit09ebc608019f1e52a8b711a7c35620517012f35e
tree20217a1bc313097d70a491fd4cafc7acad3c8caf
parentf2101cf9d1dbe7666d2e12e6338e511f67ea69dc
Bump games/widelands to version b19_10
games/widelands/Makefile