mirror of
https://git.freebsd.org/ports.git
synced 2025-04-28 01:26:39 -04:00
deskutils/gnome-shell-extra-extensions: revert "remove expired extensions"
This reverts commit 1a28b64446
.
Both extensions have PRs to revive them.
This commit is contained in:
parent
1a28b64446
commit
58ceaf88f9
1 changed files with 3 additions and 1 deletions
|
@ -1,6 +1,6 @@
|
||||||
PORTNAME= gnome-shell-extra-extensions
|
PORTNAME= gnome-shell-extra-extensions
|
||||||
PORTVERSION= 3.28
|
PORTVERSION= 3.28
|
||||||
PORTREVISION= 3
|
PORTREVISION= 2
|
||||||
CATEGORIES= deskutils gnome
|
CATEGORIES= deskutils gnome
|
||||||
|
|
||||||
MAINTAINER= gnome@FreeBSD.org
|
MAINTAINER= gnome@FreeBSD.org
|
||||||
|
@ -9,6 +9,8 @@ COMMENT= Gnome shell extra extensions metaport
|
||||||
USES= metaport
|
USES= metaport
|
||||||
|
|
||||||
RUN_DEPENDS= gnome-shell-extension-weather>=0:deskutils/gnome-shell-extension-weather \
|
RUN_DEPENDS= gnome-shell-extension-weather>=0:deskutils/gnome-shell-extension-weather \
|
||||||
|
gnome-shell-extension-openweather>=0:deskutils/gnome-shell-extension-openweather \
|
||||||
|
gnome-shell-extension-panel-osd>=0:deskutils/gnome-shell-extension-panel-osd \
|
||||||
gnome-shell-extension-mediaplayer>=0:deskutils/gnome-shell-extension-mediaplayer \
|
gnome-shell-extension-mediaplayer>=0:deskutils/gnome-shell-extension-mediaplayer \
|
||||||
gnome-shell-extension-coverflow>=0:deskutils/gnome-shell-extension-coverflow \
|
gnome-shell-extension-coverflow>=0:deskutils/gnome-shell-extension-coverflow \
|
||||||
gnome-shell-extension-windowoverlay-icons>=0:deskutils/gnome-shell-extension-windowoverlay-icons \
|
gnome-shell-extension-windowoverlay-icons>=0:deskutils/gnome-shell-extension-windowoverlay-icons \
|
||||||
|
|
Loading…
Add table
Reference in a new issue