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 |
|