Publishing details
-
Published
-
Copied from
ubuntu oneiric in
test
by emaTux
Changelog
gnome-shell-extensions-mediaplayer (0.1-0+20110825~webupd8~oneiric3) oneiric; urgency=medium
* new git
-- Alin Andrei <email address hidden> Tue, 25 Oct 2011 17:28:38 +0300
Builds
Built packages
-
gnome-shell-extensions-mediaplayer
MediaPlayer extension for GNOME Shell
Package files