diff options
Diffstat (limited to 'games/gnome-mines/Makefile')
| -rw-r--r-- | games/gnome-mines/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/games/gnome-mines/Makefile b/games/gnome-mines/Makefile index 5be30613..6fd35ae 100644 --- a/games/gnome-mines/Makefile +++ b/games/gnome-mines/Makefile @@ -3,7 +3,7 @@ # $MCom: ports/trunk/games/gnome-mines/Makefile 19989 2014-10-18 09:53:56Z gusi $ PORTNAME= gnome-mines -PORTVERSION= 3.14.1 +PORTVERSION= 3.14.2 CATEGORIES= games gnome MASTER_SITES= GNOME DIST_SUBDIR= gnome3 |
