gnome-shell-extensions 3.10.1-0ubuntu2 source package in Ubuntu

Changelog

gnome-shell-extensions (3.10.1-0ubuntu2) trusty; urgency=medium

  * debian/patches/git-remove-e4x.patch: Remove e4x from places
    menu as required for js24 (LP: #1291000)
 -- Tim Lunn <email address hidden>   Thu, 13 Mar 2014 08:01:26 +1100

Upload details

Uploaded by:
Tim Lunn
Uploaded to:
Trusty
Original maintainer:
Ubuntu Developers
Architectures:
all
Section:
gnome
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Trusty release universe gnome

Builds

Trusty: [FULLYBUILT] i386

Downloads

File Size SHA-256 Checksum
gnome-shell-extensions_3.10.1.orig.tar.xz 195.4 KiB 9baa9ddaf4e14cab6d4d7944d8dc009378b25f995acfd0fd72843f599cb5ae43
gnome-shell-extensions_3.10.1-0ubuntu2.debian.tar.gz 6.1 KiB fda734993fd9bf6a80b18be9163487dc460de4323169e952259cfcaab5a073d9
gnome-shell-extensions_3.10.1-0ubuntu2.dsc 2.5 KiB de45b5ce701cb67f36cf513d775aba84b4b556fd84172a4b11fe0bd59e9a9343

Available diffs

View changes file

Binary packages built by this source

gnome-shell-extensions: Extensions to extend functionality of GNOME Shell

 The GNOME Shell redefines user interactions with the GNOME desktop. In
 particular, it offers new paradigms for launching applications,
 accessing documents, and organizing open windows in GNOME. Later, it
 will introduce a new applets eco-system and offer new solutions for
 other desktop features, such as notifications and contacts management.
 The GNOME Shell is intended to replace functions handled by the GNOME
 Panel and by the window manager in previous versions of GNOME. The GNOME
 Shell has rich visual effects enabled by new graphical technologies.
 .
 GNOME Shell is extensible using extensions. This package contains
 official GNOME Shell extensions.