mozilla-preferences.patch
changeset 934 b61e849fe451
parent 881 1268ddc9dc16