Updated submodules to include features mdenet/platformtools#36 Xtext …

…generate custom tool and mdenet/platformtools#47 do not run Xtext tests on build. Fixes, mdenet/platformtools#46 Xtext editor server check build log exists and mdenet/educationplatform#165 notification on editor build failing.
mdenet · Jan 23, 2024 · e520cbb · e520cbb
1 parent e1206bd
commit e520cbb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/educationplatform b/educationplatform
diff --git a/platformtools b/platformtools
+5 −0		xtext/README.md
+236 −0		xtext/editorserver/Servlet.java
+42 −8		xtext/editorserver/build.sh
+53 −0		xtext/editorserver/editor_tool.json
+112 −0		xtext/editorserver/model2plantuml.egl
+20 −4		xtext/editorserver/src/controllers/XtextController.js
+153 −0		xtext/editorserver/web-pom.xml
+3 −45		xtext/static.xtext/public/xtext_tool.json