Florian Müllner bab4be1a59 extensions: Drop Convenience library ...

Its methods are now provided by gnome-shell itself and can be used
as an easy drop-in replacement.

https://gitlab.gnome.org/GNOME/gnome-shell-extensions/merge_requests/44

2019-02-06 20:17:59 +01:00

..

extension.js

extensions: Drop Convenience library

2019-02-06 20:17:59 +01:00

meson.build

build: Support the meson build system

2017-12-01 17:41:04 +01:00

metadata.json.in

Update descriptions of extensions

2013-05-20 19:06:59 +02:00

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

build: Say good-bye to intltool

2016-08-19 22:17:07 +02:00

stylesheet.css

Fix zero-length warning for stylesheets

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