gnome-shell/js/extensionPrefs
2020-02-06 18:56:00 +00:00
..
css extensionPrefs: Support extension updates 2020-02-03 19:33:12 +01:00
ui extensionPrefs: Make the Log Out button a proper verb 2020-02-06 18:56:00 +00:00
main.js extensionPrefs: Fix typo 2020-02-04 18:51:57 +01:00