Hi Christoph, One issue I am having is that the Launch without settings is actually running the settings anyway... (it was not the case before).
Do you see this as well? On Fri, Jan 19, 2018 at 9:04 AM, Stephane Ducasse <stepharo.s...@gmail.com> wrote: > tx! > > > On Thu, Jan 18, 2018 at 9:28 PM, Christophe Demarey > <christophe.dema...@inria.fr> wrote: > > > >> Le 18 janv. 2018 à 21:16, Stephane Ducasse <stepharo.s...@gmail.com> a > écrit : > >> > >> supe super coooool > >> Christophe? do have I just to replace the previous version and use > >> this one and I will get everything as before > >> but with the new version? > > > > yes. > > Only settings directory is different but it did not work very well > before. So, if you had settings that were no defaults settings, you will > need to store your settings with the new launcher. > > -- Mariano http://marianopeck.wordpress.com
