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
..
gnome-extensions	extensions-tool: Move to a subproject	2019-12-18 19:13:24 +00:00