mozilla-preferences.patch
changeset 936 096e59808e91
parent 881 1268ddc9dc16