commit | 6a7708953dd8ad0c05299e3991029a08de840d22 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Fri May 15 12:07:43 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Fri May 15 12:07:43 2020 +0000 |
tree | 4362d34f1487d5f5586d25b431da999c91de71ee | |
parent | 6eef1fd13495f65c44ecc78d259c670892003700 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/14f83262a800c9e1227ac48b97e3953e0d543952