../../Theia dependency
hexa00 opened this issue · comments
This should be documented at least... since the readme instructions won't work stand-alone
In the readme it says 'The build scripts assume the Theia repo checked out next to this repo'.
Is that not enough?
Oops sorry I had not seen that :)