mozilla-preferences.patch
changeset 959 453d34bf1834
parent 881 1268ddc9dc16