commit | 33a539d35be6d6139c409566aa467bf0ef207219 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Mon Oct 14 19:45:21 2019 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Mon Oct 14 19:45:21 2019 +0000 |
tree | 9a57287346e8cddfe57e72caabc13202bafff6d9 | |
parent | 86e37a5237499fcd9ae95ce87fb6cfadf9abf702 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/00773eb1d4d993d4ded78ff3cd4be59c37cbb10b