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