commit | 0dfdacae955e40de48279ba338880767674859cc | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Sun Apr 12 17:28:31 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Sun Apr 12 17:28:31 2020 +0000 |
tree | ae3e75dfd54ebadba35914009ab87118ad7b70c4 | |
parent | ea546161a33946b5d0ba953dc686da7aaaba61fa [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/2c72decb7d8da0f9e0e29204e512d2e893e4a61c