mozilla-preferences.patch
changeset 943 ace605efe50f
parent 881 1268ddc9dc16