2 Commits

Author	SHA1	Message	Date
Florian Müllner	60d640189b	extensions-app: Support building a separate Devel app ... Follow the pattern used by most GNOME applications and add a profile build option that allows building a Devel app instead of the regular release. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3612 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1661>	2021-02-11 17:45:00 +01:00
Florian Müllner	39e6375aff	extensions-app: Move Extensions app to new subproject ... The Extensions app code is now independent enough from the rest of the code base to move it to its own subprojects, like we did for the extensions-tool. This allows for stand-alone builds of the app, which we are about to use for distributing it as flatpak. https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1133	2020-03-27 23:33:30 +00:00