use a secondary server at onelab to download sources
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 Nov 2011 10:17:52 +0000 (11:17 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 22 Nov 2011 10:17:52 +0000 (11:17 +0100)
commitadde811739e40ab8928da1b387d9a6d737fd7735
tree99f361db78d206e5fa511ae13b55de5d895b91a0
parentd9df01494b41fe2a0037cdb294119547c6e45b38
use a secondary server at onelab to download sources
Makefile