tree 57e1edc8bb611dbae1207dfb3e87e3a7ab1f3b3b
parent 8cc3a4a23fcf8f7a5a59a4055485a1f6aeb7f634
author genie-xtext <xtext-bot@eclipse.org> 1613037971 +0000
committer genie-xtext <xtext-bot@eclipse.org> 1613037971 +0000

Generated from commit: https://github.com/eclipse/xtext/commit/e5cef3cdc72819c8b4d8caf0fec7f0e0b5b62e5c