mozilla-preferences.patch
changeset 727 727fef76f8d7
parent 718 6cb1ac7cd223
child 748 72ba5129e5fd