fix for remote pldistros
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 5 Oct 2009 11:30:48 +0000 (11:30 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 5 Oct 2009 11:30:48 +0000 (11:30 +0000)
commitbcbef1673c9b24334c9f696e8c1e3c1b0010119c
tree2806cd6645a94a0d69c1b92a31ea5f263c01ee15
parent6507e62512e561b4e8af2ccb67ccc69ac6716e84
fix for remote pldistros
Makefile