This might become useful someday, if gitlab.com will start having some problems:
https://git.pg.edu.pl/explore
plus the university's IT team is pretty responsive.
I didn't create yade-dev group there or anything (yet).
--
Janek Kozicki, PhD. DSc. Arch. Assoc. Prof.
Gdańsk University of
OK, I think it is fixed in latest MR
https://gitlab.com/yade-dev/trunk/-/merge_requests/446
please try it.
Janek Kozicki (yade) said: (by the date of Fri, 20 Mar 2020 22:36:36 +0100)
> Hi Jerome,
>
> it is not on purpose. I find it annoying too. I will have a look :)
> I guess it has got
2 matches
Mail list logo