mozilla-preferences.patch
changeset 769 c9242a00cc3d
parent 748 72ba5129e5fd
child 779 354c672efefa