commit | 1e1bd6d2d0abe40de715c0471c5ef9201450c689 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Mon Apr 06 06:47:57 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Mon Apr 06 06:47:57 2020 +0000 |
tree | 63c5730bb61cfe9ec728b22f52ee2b1f58ab5a13 | |
parent | e1891dd11090157781aec6864bc530a581911ccb [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/780ce5e95747a1182ccfb49d4a34ded59f18c4bf