Re: [Yade-dev] yade-dem.org is back

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

Re: [Yade-dev] yade-dem.org is back

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