MozillaFirefox/mozilla-preferences.patch
changeset 375 d75cd0dac058
parent 339 db8b891eeb1e