Florian Müllner 3f8bd1db25 extensions-app: Do not expand headerbar switch ... https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/2563		2020-04-03 15:47:01 +02:00
..
extension-row.ui	extensions-app: Move Extensions app to new subproject	2020-03-27 23:33:30 +00:00
extensions-window.ui	extensions-app: Do not expand headerbar switch	2020-04-03 15:47:01 +02:00