Vcsn/News

From LRDE

Revision as of 14:14, 1 October 2015 by Akim Demaille (talk | contribs)
  • Octobel 1st, 2015: Vcsn's git repository moved.
Run git remote set-url origin git@gitlab.lrde.epita.fr:vcsn/vcsn in your old repository to retarget it.
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.