gnome-shell/js/extensionPrefs
Florian Müllner 9d7a319721 extensionPrefs: Remove stray > in .ui file
This slipped through as GtkBuilder still accepts it, but let's
not rely on that and fix our XML.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/2180
2020-02-06 20:05:32 +01:00
..
css extensionPrefs: Support extension updates 2020-02-03 19:33:12 +01:00
ui extensionPrefs: Remove stray > in .ui file 2020-02-06 20:05:32 +01:00
main.js extensionPrefs: Fix typo 2020-02-04 18:51:57 +01:00