Diffusion FreeBSD ports repository 0741f782ea5d

deskutils/gnome-shell-extension-mediaplayer: use 'gnome' dir not 'gnome3'
0741f782ea5d
Actions

Tags

None

Referenced Files

None

Subscribers

None

Description

deskutils/gnome-shell-extension-mediaplayer: use 'gnome' dir not 'gnome3'

Details

Provenance

nc	Authored on Jul 2 2022, 5:30 AM

Parents

R11:8d142542f943: deskutils/gnome-shell-extension-coverflow: use 'gnome' dir not 'gnome3'

Branches

Unknown

Tags

Unknown

Event Timeline

nc committed R11:0741f782ea5d: deskutils/gnome-shell-extension-mediaplayer: use 'gnome' dir not 'gnome3' (authored by nc).Jul 2 2022, 5:35 AM

Changes (2)

Path

Size

deskutils/

gnome-shell-extension-mediaplayer/

R11:0741f782ea5d

deskutils/gnome-shell-extension-mediaplayer/Makefile

Loading...

deskutils/gnome-shell-extension-mediaplayer/distinfo

Loading...