mozilla-preferences.patch
changeset 345 f1c5b2b03311
parent 339 db8b891eeb1e
child 703 c4aab80e472f