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
..
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2014-01-09 14:59:31 -05:00
2019-08-27 15:30:51 +03:00
2019-02-06 18:29:15 +01:00
2018-01-12 11:48:49 +01:00
2018-01-12 11:48:49 +01:00
2019-01-30 22:50:01 +01:00
2017-08-02 11:27:42 +01:00
2015-10-15 22:58:28 +02:00