mozilla-preferences.patch
changeset 916 2f9f2e040647
parent 881 1268ddc9dc16