commit | d01c24e5f726d979909c7bf587dc3ef7940efce2 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Wed Oct 12 15:38:17 2022 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Wed Oct 12 15:38:17 2022 +0000 |
tree | 1965186e0399dcfa8fea286e9e26e9a021b7d92f | |
parent | 825a76ec0aba941bbf2a0720228179f79bd95640 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/f5182d8c72a1dd1bcd82ee7d290c348dcbf2b7a8