mozilla-preferences.patch
changeset 900 91466ca5c8d9
parent 881 1268ddc9dc16