myplc-5.3-2
object b1305ba311dae6ed0c79e600dad80efb7794f4ed
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Fri, 21 Mar 2014 15:14:35 +0000 (16:14 +0100)
Setting tag myplc-5.3-2
tweaks in check-hrns.py
do not require PyXML any more