commit | ce5dbaf24209850aa30712b05c8b7ed5bed11652 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Wed Jul 20 12:38:48 2022 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Wed Jul 20 12:38:48 2022 +0000 |
tree | 2c59876503411e30dd19b61794c64f165ad6db80 | |
parent | e1a3eedfc8215543ec439e253465bf9e8b8cd255 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/adac00685c26c451411c576358acf26ae6895bcc