diff options
author | Danilo Egea Gondolfo <danilo@FreeBSD.org> | 2018-06-22 17:18:45 +0000 |
---|---|---|
committer | Danilo Egea Gondolfo <danilo@FreeBSD.org> | 2018-06-22 17:18:45 +0000 |
commit | 0d12f1c5d404edf2145a70939c8116732c7d7068 (patch) | |
tree | e59fdd2ab687176ea844fc10cab402e6393528d2 /deskutils/gnome-shell-extension-hidetopbar | |
parent | 6f7a8ea4c795adc070bd8533d99794a40d7d2cae (diff) | |
download | ports-0d12f1c5d404edf2145a70939c8116732c7d7068.tar.gz ports-0d12f1c5d404edf2145a70939c8116732c7d7068.zip |
Notes
Diffstat (limited to 'deskutils/gnome-shell-extension-hidetopbar')
-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 |