MozillaFirefox/mozilla-preferences.patch
changeset 803 2823515f76a2
parent 339 db8b891eeb1e
equal deleted inserted replaced
800:4944f392c4d8 803:2823515f76a2