-
boklm authored
Instead we are using the user.js file in the profile directory. We are also using user_pref() instead of pref() to make sure we override the values of prefs defined in other preference files.
Instead we are using the user.js file in the profile directory. We are also using user_pref() instead of pref() to make sure we override the values of prefs defined in other preference files.