commit | b33775dd3d344f1d4eab1fc7446b550f0ee99827 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Wed Oct 12 15:38:14 2022 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Wed Oct 12 15:38:14 2022 +0000 |
tree | 8d9bdae98bc1f2dc018c6a05941616e1b260fc7e | |
parent | b3c31be75a1dc1528d2a026392c526d6ad18db94 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/f5182d8c72a1dd1bcd82ee7d290c348dcbf2b7a8