On Tue, Oct 11, 2016 at 4:15 PM, Esteban Lorenzano <estebanlm(a)gmail.com> wrote:
launcher is not my beast :)
but I suppose it will arrive.
In the mean time, you can manually change the vm inside it, of course :)
Ok If the trick is still working this is nice ;-)
--
Serge Stinckwich
UCBN & UMI UMMISCO 209 (IRD/UPMC)
Every DSL ends up being Smalltalk
http://www.doesnotunderstand.org/