Vcsn/News

From LRDE

Revision as of 16:10, 6 November 2014 by Bot (talk | contribs) (Fix vaucanson links to vcsn links)
Run git remote set-url origin git@gitlab.lrde.epita.fr:vcsn/vaucanson in your old repository to retarget it.
  • April 9th, 2014: Vaucanson 1's git repository moved to our Gitlab
Run git remote set-url origin git@gitlab.lrde.epita.fr:vcsn/vaucanson1 in your old repository to retarget it.