Florian Müllner 3d69fa8b9c extensionPrefs: Remove unused files ...

We include the regular Config module from js/misc, not the stripped-down
copy that was added in commit c8a4a9168.

https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1109

2020-03-21 01:50:59 +00:00

..

gnome-shell-extension-prefs.in

extensionPrefs: Move data/sources into subdirectories

2020-03-19 14:27:35 +00:00

main.js

extensionPrefs: Initialize gettext

2020-03-19 20:53:40 +00:00

meson.build

extensionPrefs: Move data/sources into subdirectories

2020-03-19 14:27:35 +00:00

org.gnome.Extensions.in

extensionPrefs: Move data/sources into subdirectories

2020-03-19 14:27:35 +00:00

org.gnome.Extensions.src.gresource.xml

extensionPrefs: Load D-Bus interface from own resource

2020-03-19 14:27:36 +00:00