> place, it would avoid the hacky "gitlab.io" url substitution. More > precisely, yade-dem.org/doc would mirror yade-dev.gitlab.io/trunk/.
that sounds good, the hacky substitution didn't look nice in the url bar ;) Janek _______________________________________________ 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