myplc-5.2-2
object b2db49cde783225866fc509b1ecbd0cf1f2a7eb4
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Wed, 10 Apr 2013 09:40:30 +0000 (11:40 +0200)
Setting tag myplc-5.2-2
fix typo in check-hrns - used to print 'host' while dealing with persons