commit | d0e62dd36c8c0d3e24e33f75ad03d6b9e86eb684 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Mon Apr 06 06:48:01 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Mon Apr 06 06:48:01 2020 +0000 |
tree | 0a8b3a83a4c447067b80a2101acc3c7cbebf278e | |
parent | 13cc6b33ff3598ee1cfecd7bae66aa4a03c0be77 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/780ce5e95747a1182ccfb49d4a34ded59f18c4bf