mozilla-preferences.patch
changeset 779 354c672efefa
parent 748 72ba5129e5fd
child 869 0dd25a92df97
--- 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");