Publishing details
Changelog
gnome-shell-extensions (3.4.1~git20120508.dfd7191a-0ubuntu1~12.04~ricotz0) precise; urgency=medium
* New git snapshot
-- Rico Tzschichholz <email address hidden> Wed, 09 May 2012 09:53:18 +0200
Builds
Built packages
-
gnome-shell-extensions
Extensions to extend functionality of GNOME Shell (common files)
-
gnome-shell-extensions-common
Extensions to extend functionality of GNOME Shell (common files)
Package files