| commit | 84d42864e5dfc4c92327e4a888e7e4741656853e | [log] [tgz] |
|---|---|---|
| author | Ed Merks <ed.merks@gmail.com> | Wed Mar 29 09:31:04 2023 +0200 |
| committer | Ed Merks <ed.merks@gmail.com> | Wed Mar 29 09:31:04 2023 +0200 |
| tree | 2236e93730312a2b2484bfd6d04443ee5fce702e | |
| parent | a62bca96f2b19f044ab2aa647d244c108dbef6f2 [diff] |
Change the location of the Xtext setup. https://github.com/eclipse/xtext/issues/2148