Le 9/08/2016 à 18:20, Gilles a écrit : > No problem changing the layout. > > develop -> master > master -> released > > But someone should make the necessary adjustments to the howto > (with the drawback that the reference therein would become > fairly confusing).
I renamed the branch, please update your repositories and switch to the new branch. I'll update the documentation. Emmanuel Bourg --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
