commit | e128a0e25e4b63063574f032b27069424ff8bbc6 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Fri May 01 18:08:50 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Fri May 01 18:08:50 2020 +0000 |
tree | d7dfbed2588b895d1e9431b06ac20483439162de | |
parent | 8dfac7df6640efedafc62243c0ad64a2f067c12f [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/442d1e3248f05e7ba6ab70c4ece8ce4938adcd7d