oops, this stupid mistake was essentially making /etc/plc.d/packages inoperant
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 4 Jan 2013 20:05:11 +0000 (21:05 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 4 Jan 2013 20:05:11 +0000 (21:05 +0100)
commitaed19235490c0633251c7a5ade3689b1dfb60f71
treeaa1ee551176980b5e9228c50cd64ee7a8c521f54
parent6cae74995c261c92961a09e9687271ce4e61d865
oops, this stupid mistake was essentially making /etc/plc.d/packages inoperant
plc.d/packages