Florian Müllner db69ad876a extensionPrefs: Support uninstalling user extensions ...

This is functionality currently provided by GNOME Software, and
which the new Extensions app should (and easily can) provide.

https://gitlab.gnome.org/GNOME/gnome-shell/issues/1968

2020-02-03 19:11:21 +01:00

..

extension-row.ui

extensionPrefs: Support uninstalling user extensions

2020-02-03 19:11:21 +01:00

extensions-window.ui

extensionPrefs: Rename to Extensions

2020-02-03 19:03:19 +01:00