commit | 5689ba3438f0e58c9347fa8f98a455851ca4edbd | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Fri May 01 18:08:54 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Fri May 01 18:08:54 2020 +0000 |
tree | 924760272ce6744fd2cc651bed1ddde818e1a892 | |
parent | 362c8804f55a2f6c217248aa50fba8ad2f95bbb8 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/442d1e3248f05e7ba6ab70c4ece8ce4938adcd7d