Giovanni Campagna 36d9cc329d ExtensionPrefs: remove unused GSettings object ... Each ExtensionRow has its own https://bugzilla.gnome.org/show_bug.cgi?id=746509		2015-03-27 13:11:22 -07:00
..
main.js	ExtensionPrefs: remove unused GSettings object	2015-03-27 13:11:22 -07:00