Title:          gnome-shell-dev.tcz
Description:    gnome-shell devs
Version:        3.10.3
Author:         see list of sites below
Original-site:  see list of sites below
Copying-policy: see list of sites below
Size: 8KB
Extension_by:   juanito
Tags:	        shell interface gtk+ gtk3 gnome dev
Comments:       dev files for gnome-shell
                ----------
                This extension contains:
                gnome-shell-3.10.3 - GPLv2 - ftp://ftp.gnome.org/pub/gnome/sources/gnome-shell/3.10/gnome-shell-3.10.3.tar.xz
                ----------
Change-log:     2014/03/09
                downgraded 3.10.4 -> 3.10.3 (graphics issue)
Current:        2014/03/28