Giovanni Campagna 0ce994ba46 Revert "Mark extensions that require only public API" ...

This reverts commit 6cd9530862, and
reopens development againts GNOME Shell master. Time for 3.2!

2011-04-26 01:17:23 +02:00

..

extension.js

User Themes: don't load a null stylesheet

2011-03-19 18:21:27 +01:00

Makefile.am

Add user-theme extension

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

metadata.json.in

Revert "Mark extensions that require only public API"

2011-04-26 01:17:23 +02:00

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

Add user-theme extension

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

stylesheet.css

Add user-theme extension

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