mozilla-preferences.patch
changeset 952 8094e6bba260
parent 881 1268ddc9dc16