/* 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.
 */
user_pref("extensions.disabledObsolete", true);

