commit | e1a3eedfc8215543ec439e253465bf9e8b8cd255 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Mon May 30 05:42:27 2022 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Mon May 30 05:42:27 2022 +0000 |
tree | f1fff010718e72643bbebe78b6692d0a7729362c | |
parent | aed50026b88c9ad3c8e08ab8a2782eeed3bacce6 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/a129ebfada60312487b4fbe9c6033937a1adae48