mozilla-preferences.patch
changeset 951 f7a8fa97a57e
parent 881 1268ddc9dc16