diff -r 9483ff78d5a0 -r 354c672efefa mozilla-preferences.patch --- a/mozilla-preferences.patch Thu Oct 16 21:20:22 2014 +0200 +++ b/mozilla-preferences.patch Thu Oct 16 23:09:58 2014 +0200 @@ -7,9 +7,9 @@ # HG changeset patch # Parent 8c1bfc96b05ef1836aad6e9f2af323f63ed1b69c -diff --git a/modules/libpref/src/init/all.js b/modules/libpref/src/init/all.js ---- a/modules/libpref/src/init/all.js -+++ b/modules/libpref/src/init/all.js +diff --git a/modules/libpref/init/all.js b/modules/libpref/init/all.js +--- a/modules/libpref/init/all.js ++++ b/modules/libpref/init/all.js @@ -1503,17 +1503,17 @@ pref("converter.html2txt.header_strategy pref("intl.accept_languages", "chrome://global/locale/intl.properties");