mozilla-preferences.patch
changeset 954 0100ca6f6eed
parent 881 1268ddc9dc16