Use depth 100 (2021.3 -> 2022.2)

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

https://jetbrains.github.io/MPS-extensions/

Apache License 2.0

82 stars 50 forks source link

Closed github-actions[bot] closed 10 months ago

github-actions[bot] commented 10 months ago

This is an automatic PR which merges changes from maintenance/mps20213 to maintenance/mps20222