tweaks
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 13 Oct 2011 14:24:19 +0000 (16:24 +0200)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Thu, 13 Oct 2011 14:24:19 +0000 (16:24 +0200)
commit148bd5ce1bc013374b5e83c538e06c34466bde7f
tree9d3a8cfef74399ba7d0c8b9a978b37937f566c49
parent24e70167326532a061b23747656a6e7e35869ade
tweaks
scripts/git-mirror.sh