add a stamp in the mirror area when done
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 Nov 2011 11:34:01 +0000 (12:34 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 Nov 2011 11:34:01 +0000 (12:34 +0100)
commitd168f618282c1434350120487dacd2d82184f4fd
tree0b9738c91833bacefae4225bc98227c7f003c3f6
parent791821c5fc41cd73d5a960f63bf335277a41386e
add a stamp in the mirror area when done
scripts/git-mirror.sh