MozillaFirefox/mozilla-preferences.patch
changeset 733 b2202fea7983
parent 339 db8b891eeb1e