Difference between revisions of "Vcsn/News"

From LRDE

Line 1: Line 1:
* Octobel 1st, 2015: Vcsn's git repository moved.
+
* October 1st, 2015: Vcsn's git repository moved.
 
: Run <tt>git remote set-url origin git@gitlab.lrde.epita.fr:vcsn/vcsn</tt> in your old repository to retarget it.
 
: Run <tt>git remote set-url origin git@gitlab.lrde.epita.fr:vcsn/vcsn</tt> in your old repository to retarget it.
 
* July 25th, 2014: [[Vcsn/Vaucanson2.0|Vaucanson 2.0]] is released.
 
* July 25th, 2014: [[Vcsn/Vaucanson2.0|Vaucanson 2.0]] is released.

Revision as of 14:15, 1 October 2015

  • October 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.