gnome-shell/js/extensionPrefs
2014-07-18 10:47:02 +02:00
..
main.js extensionPrefs: Respect 'disable-extension-version-validation' setting 2014-07-18 10:47:02 +02:00