Browse Source

Merge pull request #16882 from Mugen87/dev34

Editor: Add missing lib.
Michael Herzog 6 years ago
parent
commit
47eca9beae
1 changed files with 1 additions and 0 deletions
  1. 1 0
      editor/index.html

+ 1 - 0
editor/index.html

@@ -18,6 +18,7 @@
 		<script src="../examples/js/controls/EditorControls.js"></script>
 		<script src="../examples/js/controls/EditorControls.js"></script>
 		<script src="../examples/js/controls/TransformControls.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/jszip.min.js"></script>
 		<script src="../examples/js/libs/inflate.min.js"></script> <!-- FBX -->
 		<script src="../examples/js/libs/inflate.min.js"></script> <!-- FBX -->