Add back duplicate action

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

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

Apache License 2.0

80 stars 47 forks source link

Closed alexanderpann closed 2 months ago

alexanderpann commented 2 months ago

The action is overwritten in the richtext language but was somehow lost in a merge from maintenance/mps20213 to maintenance/mps20222.