Florian Müllner 3d443d5b17 extensionPrefs: Stop escaping extension name ... The corresponding label no longer uses markup, so we can and should use the unescaped name. https://gitlab.gnome.org/GNOME/gnome-shell/issues/2305		2020-03-08 01:07:18 +00: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: Stop escaping extension name	2020-03-08 01:07:18 +00:00