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