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
..
extensions-tool	extensions-tool: Move to a subproject	2019-12-18 19:13:24 +00:00
gvc@ec5cf3e0de	gvc: Update submodule	2019-11-23 15:16:51 +01:00