diff options
Diffstat (limited to 'games/widelands/Makefile')
| -rw-r--r-- | games/widelands/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/widelands/Makefile b/games/widelands/Makefile index 9d61be5e2f0b..2b86e166c15b 100644 --- a/games/widelands/Makefile +++ b/games/widelands/Makefile @@ -3,7 +3,7 @@ PORTNAME= widelands DISTVERSION= build18 -PORTREVISION= 8 +PORTREVISION= 9 CATEGORIES= games MASTER_SITES= https://launchpadlibrarian.net/167260749/ \ http://mirror.amdmi3.ru/distfiles/ |