no more plc-devel to configure, so the simpler is better
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 26 May 2009 13:45:30 +0000 (13:45 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Tue, 26 May 2009 13:45:30 +0000 (13:45 +0000)
commitd6abc618d545cb4ca4e4edd22d81de51f4c7b174
tree1b406b7bbe632304c19f8d33d8874e672ab583be
parent0a79872d4b9908e9342f437e1a172137d8bb60e3
no more plc-devel to configure, so the simpler is better
plc-config-tty