commit | ea013a60321f5c9a1e634f5e628b100ce5fa9f04 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Sun Jun 11 11:01:27 2023 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Sun Jun 11 11:01:27 2023 +0000 |
tree | 38c4f2b3a4ed54751e78134def210aa7f6afbea9 | |
parent | 1a9b13fe7d20acb2a10622cdaa810975dc70a0cd [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/a5c7d5033721bb502ed354f82445ca3b8cffdd52