commit | e1338e70fb6541ce82f8bdfff1f3753acf5eb2a8 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Tue Jun 02 14:40:15 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Tue Jun 02 14:40:15 2020 +0000 |
tree | 73f2922e8491239045a6f9496f4f5301db47a58b | |
parent | 4bc69f41847f09bc1e814eb8d89d25cacafd2dc8 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/03b348bb37bb4305dd3f832140864ed9dfc8fd2c