gnome-shell-extensions 3.1.3

[Giovanni Campagna <install-module master gnome org>]

About GNOME Shell Extensions
============================

GNOME Shell Extensions is a collection of extensions providing
additional and optional functionality to GNOME Shell. Most extensions
can be installed by configuring --prefix=$HOME/.local, and will be
picked automatically at next login.

News
====

* New extension: a menu for removable drives (drive-menu
* New extensions: GNOME 2 like menus for apps and places
  (apps-menu, places-menu)
* New extension: additional configurability for the window
  layout in the overview, including a mechanism similar to
  KDE4 (native-window-placement)
* New extension: a message tray indicator for CPU and memory
  usage (uses libgtop) (systemMonitor)
* user-theme: fixed resetting theme
* user-theme: support themes installed in /usr/share/themes
* alternative-status-menu: ported to gnome-shell master
* dock: ported to gnome-shell master
* dock: make position configurable (can be left or right)
* Updated translations



Download
========

http://download.gnome.org/sources/gnome-shell-extensions/3.1/gnome-shell-extensions-3.1.3.tar.xz  (100K)
  sha256sum: 8fd2e829e2f806434a68b638d784ec502829318b5b91011ae9f97069e882e833

http://download.gnome.org/sources/gnome-shell-extensions/3.1/gnome-shell-extensions-3.1.3.tar.bz2 (109K)
  sha256sum: 59a6d42f7bc761574870090350d613dcc055633610ddd3e1628ecf663c19b46f