commit | b80ab32f1ab4f3c8ba9718334e99ac12cd0a68d1 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Tue Apr 07 13:11:44 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Tue Apr 07 13:11:44 2020 +0000 |
tree | c3f878d11434bb7f9bfe28f9090398d150086b31 | |
parent | 7e5b535de2eb8f288fdec75f0e7ec7f91d79e68e [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/bddbc4909c8e28918c6ffcc68abd62b0b4817d0f