commit | 3bdbce5df781d81e7b163f8e60356345177af713 | [log] [tgz] |
---|---|---|
author | genie-xtext <xtext-bot@eclipse.org> | Tue Dec 01 11:40:08 2020 +0000 |
committer | genie-xtext <xtext-bot@eclipse.org> | Tue Dec 01 11:40:08 2020 +0000 |
tree | 614d834b8bd811757ed5ca8538ed5b2cadd6eb84 | |
parent | 3421dbd7f64234c53a587c7ac02f1ca05a8cd88e [diff] |
Generated from commit: https://github.com/eclipse/xtext/commit/dde161de7ba2028a288f4934fa6a68cae77ccfd2