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