commit | 825a76ec0aba941bbf2a0720228179f79bd95640 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Wed Oct 12 15:34:55 2022 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Wed Oct 12 15:34:55 2022 +0000 |
tree | 19a07db35ca4e3ae0171efaea411485d1d58292d | |
parent | 7da3cfbaa2a71a41287a59938e70d8b7bd080ff2 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/f5182d8c72a1dd1bcd82ee7d290c348dcbf2b7a8