diff options
Diffstat (limited to 'deskutils/gnome-shell-extension-manager/Makefile')
| -rw-r--r-- | deskutils/gnome-shell-extension-manager/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deskutils/gnome-shell-extension-manager/Makefile b/deskutils/gnome-shell-extension-manager/Makefile index accaf57cb62d..b031040ba7a9 100644 --- a/deskutils/gnome-shell-extension-manager/Makefile +++ b/deskutils/gnome-shell-extension-manager/Makefile @@ -1,6 +1,7 @@ PORTNAME= extension-manager DISTVERSIONPREFIX= v DISTVERSION= 0.6.3 +PORTREVISION= 1 CATEGORIES= deskutils gnome PKGNAMEPREFIX= gnome-shell- |