for clarity, renamed the pkgs file used when buildind myplc-chroot
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 23 Feb 2009 11:45:00 +0000 (11:45 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Mon, 23 Feb 2009 11:45:00 +0000 (11:45 +0000)
commitb85994aad355edee01c7e91aee2c8081decde357
tree78f7008c33b7eb9ed73160d42e7f5f2e81ba66f3
parent943c1dae748446f0d8251561a07f4e36247f350f
for clarity, renamed the pkgs file used when buildind myplc-chroot
build-chroot.sh