mozilla-preferences.patch
changeset 923 3cc9f17ca9bb
parent 881 1268ddc9dc16