mozilla-preferences.patch
changeset 708 f15494a6dc10
parent 703 c4aab80e472f
child 718 6cb1ac7cd223
equal deleted inserted replaced
707:bfa2e0576454 708:f15494a6dc10