diff options
Diffstat (limited to 'deskutils/gnome-shell-extension-hidetopbar/Makefile')
| -rw-r--r-- | deskutils/gnome-shell-extension-hidetopbar/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deskutils/gnome-shell-extension-hidetopbar/Makefile b/deskutils/gnome-shell-extension-hidetopbar/Makefile index 0e302931ab8b..e8b75610c628 100644 --- a/deskutils/gnome-shell-extension-hidetopbar/Makefile +++ b/deskutils/gnome-shell-extension-hidetopbar/Makefile @@ -3,6 +3,7 @@ PORTNAME= gnome-shell-extension-hidetopbar PORTVERSION= 0.0.0.20151025 +PORTREVISION= 1 CATEGORIES= deskutils gnome DIST_SUBDIR= gnome3 |