mozilla-preferences.patch
changeset 887 5d23fade3143
parent 881 1268ddc9dc16