JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.
https://jetbrains.github.io/MPS-extensions/
Apache License 2.0
83 stars 52 forks source link

Merge maintenance/mps20232 into maintenance/mps20241 #1020

Closed github-actions[bot] closed 1 week ago

github-actions[bot] commented 2 weeks ago

Merge changes from maintenance/mps20232 to maintenance/mps20241.