mozilla-preferences.patch
changeset 956 5353413a2411
parent 881 1268ddc9dc16