MozillaFirefox/mozilla-preferences.patch
changeset 708 f15494a6dc10
parent 339 db8b891eeb1e
equal deleted inserted replaced
707:bfa2e0576454 708:f15494a6dc10