Merge pull request #18 from mdenet/85-common-utility-panels-should-be…

…-built-in Updated submodules for mdenet/educationplatform#85
mdenet · Sep 28, 2023 · 5392e9a · 5392e9a
2 parents 7669ed7 + 847fc64
commit 5392e9a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/educationplatform b/educationplatform
diff --git a/educationplatform-examples b/educationplatform-examples
diff --git a/platformtools b/platformtools
+280 −23		package-lock.json
+0 −2		platform/Dockerfile
+3 −2		platform/package.json
+47 −0		platform/public/common/utility.json
+2 −1		platform/src/Playground.js
+7 −4		platform/src/ToolsManager.js
+5 −5		consoles/consoles_activity.json
+3 −3		conversion-functions/emfatic-conversion_activity.json
+4 −7		epsilon-etl/epsilon-etl_activity.json
+1 −2		ocl/ocl_activity.json
+1 −2		xtext-turtles/xtext_activity.json