check-hrns.py: Ciro fix
authorMohamed Larabi <mohamed.larabi@inria.fr>
Fri, 13 Dec 2013 15:50:13 +0000 (16:50 +0100)
committerMohamed Larabi <mohamed.larabi@inria.fr>
Fri, 13 Dec 2013 15:50:13 +0000 (16:50 +0100)
commita244e7e2b15d9361f7065d1ce76a917ad544ca33
tree4476d701ba6a73d00a26a8cf46c452b9d08ed8d0
parent02eb169bde30811b77d86d78a042a1b27ae61d81
check-hrns.py: Ciro fix
bin/check-hrns.py