remove unneeded

This commit is contained in:
David Back 2018-07-26 16:43:07 -07:00
parent 82e5d6ad29
commit dcdf734114

View file

@ -14,14 +14,13 @@
// //
/* global SelectionManager, SelectionDisplay, grid, rayPlaneIntersection, rayPlaneIntersection2, pushCommandForSelections, /* global SelectionManager, SelectionDisplay, grid, rayPlaneIntersection, rayPlaneIntersection2, pushCommandForSelections,
getMainTabletIDs, getControllerWorldLocation, TRIGGER_ON_VALUE, TRIGGER_OFF_VALUE */ getMainTabletIDs, getControllerWorldLocation */
var SPACE_LOCAL = "local"; var SPACE_LOCAL = "local";
var SPACE_WORLD = "world"; var SPACE_WORLD = "world";
var HIGHLIGHT_LIST_NAME = "editHandleHighlightList"; var HIGHLIGHT_LIST_NAME = "editHandleHighlightList";
Script.include([ Script.include([
"./controllerDispatcherUtils.js",
"./controllers.js", "./controllers.js",
"./utils.js" "./utils.js"
]); ]);