# firefox_userjs

user.js para usar en un perfil de firefox y que sobrescriba la configuración en prefs.js sin tener que tocar prefs.js