gnome-shell

History

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

css

extensions-app: Indicate extension errors

2020-05-21 21:45:04 +00:00

dbus-interfaces

extensions-app: Move Extensions app to new subproject

2020-03-27 23:33:30 +00:00

icons

extensions-app: Move Extensions app to new subproject

2020-03-27 23:33:30 +00:00

metainfo

extensions-app: Support building a separate Devel app