add start of language dictionaries

2019-04-11 10:47:58 -04:00 · 2019-04-11 10:47:58 -04:00 · c533119b01
commit c533119b01
parent bc3a47d9be
3 changed files with 61 additions and 5 deletions
--- a/js/web-server.js
+++ b/js/web-server.js
@ -754,6 +754,7 @@ var ver = require('../js/license.js'),
            "moto-load-stl",
            "moto-db",
            "moto-ui",
+            "kiri-lang",
            "kiri-db",
            "kiri-slice",
            "kiri-slicer",
@ -799,6 +800,7 @@ var ver = require('../js/license.js'),
            "geo-polygon",
            "geo-polygons",
            "geo-gyroid",
+            "kiri-lang",
            "kiri-slice",
            "kiri-slicer",
            "kiri-driver-fdm",