commit | e5ed1bc4693251637451fd470ed2e0d8714c7f8e | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Sat Apr 11 07:13:31 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Sat Apr 11 07:13:31 2020 +0000 |
tree | 5da25db54f42b1de90a0534a26a5d73f4147328c | |
parent | b80ab32f1ab4f3c8ba9718334e99ac12cd0a68d1 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/d46f656eed44f7808b17027e42681ef6c3a76160