diff options
Diffstat (limited to 'deskutils/gnome-shell-extension-hidetopbar/Makefile')
| -rw-r--r-- | deskutils/gnome-shell-extension-hidetopbar/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/deskutils/gnome-shell-extension-hidetopbar/Makefile b/deskutils/gnome-shell-extension-hidetopbar/Makefile index e6536d0a6c9f..ab21df3c6bb8 100644 --- a/deskutils/gnome-shell-extension-hidetopbar/Makefile +++ b/deskutils/gnome-shell-extension-hidetopbar/Makefile @@ -1,6 +1,6 @@ PORTNAME= gnome-shell-extension-hidetopbar PORTVERSION= 0.0.0.20180511 -PORTREVISION= 1 +PORTREVISION= 2 CATEGORIES= deskutils gnome DIST_SUBDIR= gnome |