commit | c18a1b7305c9ec49d5df88f5af4af73155b745db | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Thu Apr 16 14:20:44 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Thu Apr 16 14:20:44 2020 +0000 |
tree | f20fc8432ea9eb78de2b8839a46c35e800b8a39b | |
parent | 4c906acc629d0302299f821ce6fc0be338f3c301 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/f3e23e6878f8dddead9ab88804c3688829d05c83