commit | 7241b734c2fabf12dfdf1e4948e717b65a64b7d7 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Fri Feb 04 08:16:38 2022 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Fri Feb 04 08:16:38 2022 +0000 |
tree | bd803b9b264d8ec6bba96dcd5c5bd11dee00ba70 | |
parent | 33bf3c2635aa274772b3dd9b21b364f59e1b7853 [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/76edde10568d1154888f4b7ef2084641bac0e1e7