check-hrn.py keeps silent unless option verbose is set
authorMohamed Larabi <mohamed.larabi@inria.fr>
Fri, 13 Dec 2013 09:04:57 +0000 (10:04 +0100)
committerMohamed Larabi <mohamed.larabi@inria.fr>
Fri, 13 Dec 2013 09:04:57 +0000 (10:04 +0100)
commit02eb169bde30811b77d86d78a042a1b27ae61d81
treec535cf181dd0fd26ac369ace453d7b779b2e9acb
parent680967afd0a8ebf62427c43fc35ec9a5a8789ccf
check-hrn.py keeps silent unless option verbose is set
bin/check-hrns.py