Instead of pushing from gitlab we pull latest artifacts from yade-dem.org. Bruno
Le dim. 26 mai 2019 13:02, Janek Kozicki <janek_li...@wp.pl> a écrit : > 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 > > >
_______________________________________________ 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