Open ofa- opened 4 years ago
repo robert-server managed by @stop-covid exist on github and is a mirror of the gitlab.inria.fr.
Maybe it would be worth adding an explicit link in the README here to the repo there, for clarity ?
repo robert-server managed by @stop-covid exist on github and is a mirror of the gitlab.inria.fr.
Maybe it would be worth adding an explicit link in the README here to the repo there, for clarity ?