commit | c73c1dab8715af72da9b34cd7a693e9f253b2936 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Mon Dec 02 21:59:38 2019 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Mon Dec 02 21:59:38 2019 +0000 |
tree | 0b56a93fc42124451a8b9756f32649e201b4d9c2 | |
parent | 65b8f4273470212b0caa711c01eb488c664fa158 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/ec16d9bf3cac4ae2d19e00279d5521eb661555d8