commit | 60701a6daf311fe05db845638df9d4bc582466f8 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Fri May 01 19:58:20 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Fri May 01 19:58:20 2020 +0000 |
tree | f7de25b0937319e9705980ead3924715a317f20e | |
parent | 768f6101c3a5c3a9a5934f299b1cf28254a233b3 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/23e3f522cfa7537ace377b0a2180407318c124b9