Use depth 100 - Githubissues

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

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

Apache License 2.0

82 stars 51 forks source link

Use depth 100 #685

Closed sergej-koscejev closed 11 months ago