| commit | ea8906d5f8d080b2f49461ac51c5462bbf8ed0e8 | [log] [tgz] |
|---|---|---|
| author | genie-xtext <xtext-bot@eclipse.org> | Tue Jun 02 06:24:36 2020 +0000 |
| committer | genie-xtext <xtext-bot@eclipse.org> | Tue Jun 02 06:24:36 2020 +0000 |
| tree | 589f4845a405ef5640a772b624ebcc07c72230b7 | |
| parent | 773a63467518ae0eea0b858f523e43cf903cbb4a [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/1d5643794de3d8eb61bf23178216af7aad5fc53d