MozillaFirefox/mozilla-preferences.patch
changeset 539 b1134fe91f9a
parent 339 db8b891eeb1e