Bruno Chareyre said:     (by the date of Fri, 24 May 2019 12:33:31 +0200)

> Everything is in the title. We are no longer switching to the gitlab.io
> pages for the doc (they are actually mirrored, so they can serve as a
> backup if yade-dem. org is down).

I see that merge request https://gitlab.com/yade-dev/trunk/merge_requests/147
is still open. How did you do this without it?

Janek Kozicki

_______________________________________________
Mailing list: https://launchpad.net/~yade-dev
Post to     : yade-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~yade-dev
More help   : https://help.launchpad.net/ListHelp

Reply via email to