Merge pull request #51 from mdenet/feature/no-tests-on-xtext-build

Updated submodules
mdenet · Jan 23, 2024 · 90781dc · 90781dc
2 parents e1206bd + e520cbb
commit 90781dc
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