commit | e1891dd11090157781aec6864bc530a581911ccb | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Mon Apr 06 06:41:29 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Mon Apr 06 06:41:29 2020 +0000 |
tree | 7a6936c50bb97d4ac6ceb9e0e746a482099b4e48 | |
parent | 129e3856e2c7662a4210d557082155eaf420ebc5 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/780ce5e95747a1182ccfb49d4a34ded59f18c4bf