52 Commits

Author	SHA1	Message	Date
Florian Müllner	4e9154ca64	extensions-tool: Add (back) README.md ... This was dropped when importing the project into gnome-shell. Now that is a bit more separate again, it makes sense to add it back. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/877	2019-12-18 19:13:24 +00:00
Florian Müllner	51518d4d96	extensions-tool: Move to a subproject ... The gnome-extensions tool code is really independent from the rest of the code base, and could be used either as part of the gnome-shell build or as stand-alone project (for example for the extension-ci docker image). We can actually support both cases by moving the code to a subproject. https://gitlab.gnome.org/GNOME/gnome-shell/merge_requests/877	2019-12-18 19:13:24 +00:00