diff options
| author |   Cédric Ollivier <cedric.ollivier@orange.com> | 2018-03-18 10:32:38 +0100 |
|---|---|---|
| committer | Cédric Ollivier <cedric.ollivier@orange.com> | 2018-03-18 10:32:38 +0100 |
| commit | be5a74549a5c82e0588296b6638481e9555f686c (patch) | |
| tree | ff39cad5ea1433d3986847098ea6684a93297eba /build.sh | |
| parent | 2b6950c3d496b42ef62632c638a27d79d73e3364 (diff) | |
Allow exceptions when deleting a missing verifier
Change-Id: I2e48bdcf9bce872a4a7855f9f6cd05d2b4897244
Signed-off-by: Cédric Ollivier <cedric.ollivier@orange.com>
Diffstat (limited to 'build.sh')
0 files changed, 0 insertions, 0 deletions