mozilla-preferences.patch
changeset 941 ff9e20146e8b
parent 881 1268ddc9dc16