mozilla-preferences.patch
changeset 882 82af81b0a6c7
parent 881 1268ddc9dc16