mozilla-preferences.patch
changeset 942 66115255ad6f
parent 881 1268ddc9dc16