Closed ohannuks closed 2 months ago
Currently google seems to favor git.ligo.org version of LeR. I think we should move to github and get rid of the git.ligo.org duplicate.
Currently google seems to favor git.ligo.org version of LeR. I think we should move to github and get rid of the git.ligo.org duplicate.