commit | da8c3f1b1111cd2d53b1fa9ced91626b1776c944 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Fri May 01 18:15:35 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Fri May 01 18:15:35 2020 +0000 |
tree | b40fea91b4ce013c2e8adc3ce1f7c733863f9d31 | |
parent | 5689ba3438f0e58c9347fa8f98a455851ca4edbd [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/442d1e3248f05e7ba6ab70c4ece8ce4938adcd7d