Vcsn/News

From LRDE

Revision as of 16:00, 6 November 2014 by Bot (talk | contribs) (Rename Vaucanson namespace into Vcsn)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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.