[tlaplus] Re: BUG: Can not use TLAPS in TLA+ Toolbox 1.6.0 when TLAPS installed in ~/opt

[loki der quaeler <quaeler@xxxxxxxxx>]

This will be tracked at https://github.com/tlaplus/tlaplus/issues/345

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/1ce7cc31-2d55-4fd1-a863-172252a98b99%40googlegroups.com.