On 19/01/2017 06:51, Miro Kropáček wrote: > In the end, the result is not too bad: > https://github.com/freemint/freemint/wiki, even history is preserved (I > mean the original one, from sparemint). Hey, great work :-) This really incites to improve the documentation in the wiki. -- Vincent Rivière