cleanup
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 15:48:18 +0000 (17:48 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 25 Apr 2013 15:48:18 +0000 (17:48 +0200)
commite2aac83fd96cd7511700103d4a0aadb39e48bdc7
tree353ae09ef0ead1b614b3187115be0d4a8167e4dd
parent4dbbab333c0247da1b955e99e38cea36ea4e4984
cleanup
scripts/git-mirror.sh