Giovanni Campagna 9e4156a706 Add capability to build extension zip-files ...

Now, typing "make zip-file" will create a standard zip-file for each
extension, with everything necessary, including translations and GSettings schemas.
These files can then be installed with the tweak-tool or uploaded
at extensions.gnome.org

Based on an earlier patch by Jasper St. Pierre.

2011-11-19 15:42:27 +01:00

..

extension.js

user-theme: port to new extension API

2011-08-02 23:35:37 +02:00

Makefile.am

Add capability to build extension zip-files

2011-11-19 15:42:27 +01:00

metadata.json.in

Add 3.2 tags to supported version

2011-10-03 17:33:28 +01:00

org.gnome.shell.extensions.user-theme.gschema.xml.in

Add user-theme extension

2011-03-11 13:12:27 +13:00

stylesheet.css

Fix zero-length warning for stylesheets

2011-07-09 15:06:01 +02:00