diff options
Diffstat (limited to 'x11-themes/gnome-splashscreen-manager/Makefile')
| -rw-r--r-- | x11-themes/gnome-splashscreen-manager/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/x11-themes/gnome-splashscreen-manager/Makefile b/x11-themes/gnome-splashscreen-manager/Makefile index 693e16b2f325..0a318a898c38 100644 --- a/x11-themes/gnome-splashscreen-manager/Makefile +++ b/x11-themes/gnome-splashscreen-manager/Makefile @@ -7,6 +7,7 @@ PORTNAME= gnome-splashscreen-manager PORTVERSION= 0.2 +PORTREVISION= 1 CATEGORIES= x11-themes MASTER_SITES= http://www.miketech.net/gnome-art/download/ DISTNAME= gnome-art-${PORTVERSION} |