improved
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 13 Oct 2011 11:17:11 +0000 (13:17 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 13 Oct 2011 11:17:11 +0000 (13:17 +0200)
commitf7d3f1a51ede1ed236e2b1a0c12b18fccd25de25
treec4ebe3376fa2d0bfed4ced833ecca15a652d4f72
parentb4e567114bad3a76ce824fb34c8e7545ad4c5224
improved
scripts/manage-git-mirror.sh