mozilla-preferences.patch
changeset 901 eb9ebe3e2e6a
parent 881 1268ddc9dc16