commit | a0a39de9981712ef56bbe3401c9288c1cb5a506e | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Fri Mar 20 09:30:52 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Fri Mar 20 09:30:52 2020 +0000 |
tree | b988d1c4bb7645231aea5a00954d3917f4448477 | |
parent | 3ad845b31f8e735fdefc7128f50d28768cb0ac5a [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/e19ad42c5e138a45be4d51000ef694efd5cc0997