mozilla-preferences.patch
changeset 898 1d01621f9535
parent 881 1268ddc9dc16