replacing pldistro-fcdistro-*.lst with a pldistro-*.lst with variants embedded
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 21 Nov 2007 09:37:40 +0000 (09:37 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Wed, 21 Nov 2007 09:37:40 +0000 (09:37 +0000)
commit39a0f67ae30deb5565a5cd18c1f3ec4f24ea4132
tree86f3c763a4a82b875841574543da73160c65c940
parentd417b4c42342daa61aa1bacbefb39515cb68c992
replacing pldistro-fcdistro-*.lst with a pldistro-*.lst with variants embedded
build.functions
build.sh
planetlab-f7-plc.lst [deleted file]
planetlab-fc4-plc.lst [deleted file]
planetlab-plc.lst [moved from planetlab-fc6-plc.lst with 100% similarity]