use plt<ch> instead of pl<ch>
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 16 Dec 2011 09:15:19 +0000 (10:15 +0100)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 16 Dec 2011 09:15:19 +0000 (10:15 +0100)
commit238378193a074ac24bc74abc3325d06811d71556
tree662031c2a87845b180c0305834b9711918329c2e
parente782c62d983b3313b0195e4d32c3500e7a38c349
use plt<ch> instead of pl<ch>
system/config_default.py