Commit 0d9d803

mps-ci-buildbot

authored

Merge pull request #1062 from JetBrains/merge/mps20241

Merge maintenance/mps20232 into maintenance/mps20241

2 parents 9c07520 + a3e5228 commit 0d9d803Copy full SHA for 0d9d803

4 files changed

+2338

-1794

lines changed

code/treenotation
- com.mbeddr.mpsutil.treenotation.runtime/models/com/mbeddr/mpsutil/treenotation
  - runtime.mps
- com.mbeddr.mpsutil.treenotation.sandboxlang/models
  - editor.mps
  - structure.mps
- com.mbeddr.mpsutil.treenotation.sandbox/models/com/mbeddr/mpsutil/treenotation
  - sandbox.mps

4 files changed

+2338

-1794

lines changed

Comments

(0)