| commit | e8fde42b00e5d71672425e0234632d7d7124d2f3 | [log] [tgz] |
|---|---|---|
| author | genie-xtext <xtext-bot@eclipse.org> | Thu Mar 19 13:39:09 2020 +0000 |
| committer | genie-xtext <xtext-bot@eclipse.org> | Thu Mar 19 13:39:09 2020 +0000 |
| tree | 8762493c6282b3b6babd9692e65810a2769f6926 | |
| parent | fee533f1c7ba5c5b83d5d9cd3fbd3f04a178a96d [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/b1e40ebd9793964b2776846e4d3fbf38aa8fa912