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