commit | 5ab22668ce9dde7b909164fd8949f21edfbfe28e | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Fri May 15 12:13:50 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Fri May 15 12:13:50 2020 +0000 |
tree | 12055b5891c0461ce03b57879f50820f29832d76 | |
parent | 6a7708953dd8ad0c05299e3991029a08de840d22 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/14f83262a800c9e1227ac48b97e3953e0d543952