commit | 7dbef237234a9739dbd45092453bb8220ff1ceeb | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Tue May 21 11:55:42 2019 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Tue May 21 11:55:42 2019 +0000 |
tree | cef442975eef0ef5afbfc70c45ab4a890cbb2c94 | |
parent | 4f054ca8a710cee0987910065fa322d51d66db46 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/c4d24bf77fae02c7c9a45def8a579a775b8f5ee5