tree 7790b4eff20c3d71dfe0cf3c9409518876cb6951
parent 7dedf64a8fdf5ccca87829cbe2b2dd5eba299faa
author genie-xtext <xtext-bot@eclipse.org> 1582709187 +0000
committer genie-xtext <xtext-bot@eclipse.org> 1582709187 +0000

Generated from commit: https://github.com/eclipse/xtext/commit/12d010aa954b10b4e645ae728929a75714e9e510