tweak
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 20 Jun 2015 09:16:27 +0000 (11:16 +0200)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sat, 20 Jun 2015 09:16:27 +0000 (11:16 +0200)
commit2b20df9c1d39f549e5f77c46329b0daac8251c43
tree50ab7145402360fa366468f0b82139f979b71a4a
parent6f1ed1a3ed0cef03671b61835f0143cf39150ac1
tweak
fedora-mirror2.sh