commit | 4319e0083fed18fd17b6bdbc5c8ff101f6829dc6 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Tue May 05 08:38:11 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Tue May 05 08:38:11 2020 +0000 |
tree | 6f31f1c28000e7632251749d7184fa40473ba745 | |
parent | 0bc5bc3a44c3d808b802963aebe58e63608a0428 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/5d006b1578dbc0da962b6c58d148bfc4f1782491