mozilla-preferences.patch
changeset 955 55662cbdb950
parent 881 1268ddc9dc16