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.
