| commit | cfced10b37ded320e74a020f0a071c4a4c3b2044 | [log] [tgz] |
|---|---|---|
| author | genie-xtext <xtext-bot@eclipse.org> | Mon May 04 06:47:00 2020 +0000 |
| committer | genie-xtext <xtext-bot@eclipse.org> | Mon May 04 06:47:00 2020 +0000 |
| tree | 84134d6d556967987f2743ca71dc08ae9d237d94 | |
| parent | 55ead82d4a38cc3d9eeee5f30b5009d4298c28df [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/2dbe0c44022f0b054fde223d87c5faaf64b3c9ff