diff options
| author | Rene Ladan <rene@FreeBSD.org> | 2019-05-01 19:35:14 +0000 |
|---|---|---|
| committer | Rene Ladan <rene@FreeBSD.org> | 2019-05-01 19:35:14 +0000 |
| commit | 7469b029a6854859a1f068dfc9344e927f1f21ca (patch) | |
| tree | 8f109f7e53e6c9372dc6fbb0a978036f77b82b49 /deskutils/gnome-shell-extension-hidetopbar/Makefile | |
| parent | 4718eb080d90fdc9ded88ce656d95f499e868c1d (diff) | |
| download | ports-7469b029a6854859a1f068dfc9344e927f1f21ca.tar.gz ports-7469b029a6854859a1f068dfc9344e927f1f21ca.zip | |
Notes
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 3fd58f3ca5d3..32dd4689bd0d 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.20180511 +PORTREVISION= 1 CATEGORIES= deskutils gnome DIST_SUBDIR= gnome |