production.json
author Kevin Dangoor <kdangoor@mozilla.com>
Mon, 27 Sep 2010 16:04:29 -0400
changeset 2053 3d222e6662554f38deb42a871b63e63918916923
parent 1907 299a26c0fd024c6e3b202b9bec535d5de6d04095
permissions -rw-r--r--
revert the logo to the old one... looks better, if not button-like

{
    "plugins": ["embedded", "screen_theme", 
        "userident", "bespin_server", "whitetheme", "plugindev", "uicommands",
        "notifier", "settings", "gritter", "gritter_notify", "command_line",
        "syntax_worker", "javascript", "html", "stylesheet", "filesystem",
        "file_history", "syntax_directory", "underscore",
        "file_commands"],
    "output_dir": "tmp/BespinServer/static",
    "include_tests": true,
    "unbundled_plugins": "tmp/BespinServer/plugins"
}