default distro is *not* f8
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 29 Nov 2012 05:39:52 +0000 (06:39 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Thu, 29 Nov 2012 05:39:52 +0000 (06:39 +0100)
commitcca07de4a1c569dcf7dc6173b00137d94457ac4b
tree4e69f5e8cc440ef6efbe83fb9aa6ab41148962e5
parenta6bb994a4ac2c3f487cb7b033ed92bac82abf14c
default distro is *not* f8
mirroring/mirror.sh