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-mediaplayer | |
| parent | 4718eb080d90fdc9ded88ce656d95f499e868c1d (diff) | |
| download | ports-7469b029a6854859a1f068dfc9344e927f1f21ca.tar.gz ports-7469b029a6854859a1f068dfc9344e927f1f21ca.zip | |
Notes
Diffstat (limited to 'deskutils/gnome-shell-extension-mediaplayer')
| -rw-r--r-- | deskutils/gnome-shell-extension-mediaplayer/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/deskutils/gnome-shell-extension-mediaplayer/Makefile b/deskutils/gnome-shell-extension-mediaplayer/Makefile index 8aef658263e5..823dd84643a0 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/Makefile +++ b/deskutils/gnome-shell-extension-mediaplayer/Makefile @@ -3,6 +3,7 @@ PORTNAME= gnome-shell-extension-mediaplayer PORTVERSION= 0.0.0.20180316 +PORTREVISION= 1 CATEGORIES= deskutils gnome DIST_SUBDIR= gnome3 |