# Mozilla User Preferences

/* Do not edit this file.
 *
 * If you make changes to this file while the application is running,
 * the changes will be overwritten when the application exits.
 *
 * To make a manual change to preferences, you can visit the URL about:config
 * For more information, see http://www.mozilla.org/unix/customizing.html#prefs
 */

user_pref("app.update.lastUpdateTime.addon-background-update-timer", 1190813041);
user_pref("app.update.lastUpdateTime.background-update-timer", 1190813040);
user_pref("app.update.lastUpdateTime.blocklist-background-update-timer", 1190813041);
user_pref("app.update.lastUpdateTime.search-engine-update-timer", 1190813042);
user_pref("browser.preferences.advanced.selectedTabIndex", 1);
user_pref("browser.startup.homepage", "file:///boot/results/SystemInfo.xml|file:///boot/results/SystemLog.xml|http://telcoserv/|http://www.google.com/webhp?tab=nw&channel=s&client=firefox-a&hl=en&oe=UTF-8&rls=org.mozilla%3Aen-US%3Aofficial&q=");
user_pref("extensions.lastAppVersion", "2.0.0.3");
user_pref("font.name.serif.x-western", "DejaVu Sans");
user_pref("font.size.variable.x-western", 11);
user_pref("intl.charsetmenu.browser.cache", "ISO-8859-1, UTF-8");
user_pref("network.cookie.prefsMigrated", true);
user_pref("network.proxy.autoconfig_url", "http://autoproxy:9090/");
user_pref("network.proxy.type", 2);
user_pref("pref.advanced.proxies.disable_button.reload", false);
user_pref("pref.browser.homepage.disable_button.current_page", false);
