get rid of boot.js

This commit is contained in:
Fabian Jakobs 2011-07-26 17:41:52 +02:00
commit a58da119b7
4 changed files with 5 additions and 44 deletions

View file

@ -40,7 +40,9 @@
define(function(require, exports, module) {
exports.launch = function(env) {
require("pilot/fixoldbrowsers");
var env = {};
var event = require("pilot/event");
var Range = require("ace/range").Range;
var Editor = require("ace/editor").Editor;