Clearer error header
authorcgeoffroy <geoffroy.chollon@thalesgroup.com>
Tue, 11 Apr 2017 09:20:23 +0000 (11:20 +0200)
committercgeoffroy <geoffroy.chollon@thalesgroup.com>
Tue, 11 Apr 2017 09:20:23 +0000 (11:20 +0200)
commit5ca7aae70bfb9a8df5aed1fc44b195d7a13c462d
treef02cfc6325f842df6ca417d2d045cafb6cb7b465
parent46bbdf19d830cdfe939071c1364588a34aa554b0
Clearer error header
utils/ci/check_manual_usage_example.sh