dual URLs for fetching sources - added planet-lab
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 19 Dec 2011 08:35:19 +0000 (09:35 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 19 Dec 2011 08:35:19 +0000 (09:35 +0100)
commit26608cfb4c16ef25e6eb84c45c488872445929c4
tree21be253e3b7538d816313a614f01bb158a549fbe
parent1962648f7ea7ff7e6aa75437f9f549a0eef56a6b
dual URLs for fetching sources - added planet-lab
Makefile