Merge pull request mrdoob#16882 from Mugen87/dev34

Editor: Add missing lib.
yeticgi · Jun 22, 2019 · 47eca9b · 47eca9b
2 parents 215bb4a + 0305ddc
commit 47eca9b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/editor/index.html b/editor/index.html
@@ -18,6 +18,7 @@
 		<script src="../examples/js/controls/EditorControls.js"></script>
 		<script src="../examples/js/controls/TransformControls.js"></script>
 
+		<script src="../examples/js/libs/chevrotain.min.js"></script>
 		<script src="../examples/js/libs/jszip.min.js"></script>
 		<script src="../examples/js/libs/inflate.min.js"></script> <!-- FBX -->