mozilla-preferences.patch
changeset 922 bf541a540a74
parent 881 1268ddc9dc16