for f20
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 6 Jan 2014 15:14:03 +0000 (16:14 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Mon, 6 Jan 2014 15:14:03 +0000 (16:14 +0100)
commit8453f0b9700b9143a68b1092eded5a5b45c93607
treed2a35f276271a06d209ae7420e8b6add639c09ba
parent411d62fd8780bb4d7b7dee3fea154b84411b1fb9
for f20
mirroring/mirror.sh