commit | 0bc5bc3a44c3d808b802963aebe58e63608a0428 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Tue May 05 08:32:04 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Tue May 05 08:32:04 2020 +0000 |
tree | 9f5f3f8df228131965a6552309ef618a73d43b56 | |
parent | 51b5875644bc33c4b97e58855f0ce3555068caf5 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/5d006b1578dbc0da962b6c58d148bfc4f1782491