remove cli
This commit is contained in:
parent
61c40b48bd
commit
8ee1ffab20
4 changed files with 3 additions and 57 deletions
|
|
@ -44,10 +44,9 @@ require("pilot/environment");
|
|||
require("demo/demo");
|
||||
|
||||
require("pilot/index");
|
||||
require("cockpit/index");
|
||||
require("ace/defaults");
|
||||
|
||||
var plugins = [ "pilot/index", "cockpit/index", "ace/defaults" ];
|
||||
var plugins = [ "pilot/index", "ace/defaults" ];
|
||||
var catalog = require("pilot/plugin_manager").catalog;
|
||||
catalog.registerPlugins(plugins).then(function() {
|
||||
var env = require("pilot/environment").create();
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue