diff options
| author | Vincent Laporte | 2018-10-08 13:55:18 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2018-12-10 15:03:17 +0000 |
| commit | 9cdb9e97985598bd28e31af9e4cb23ea9776626c (patch) | |
| tree | b7169c8ab1b44e96aa6b5258bd15d540d0645255 /dev/header.c | |
| parent | 21bac03b0997cd79ddf6a8a9b31ee4d8ee63f50a (diff) | |
[test-suite] Fail when the checker fails
Diffstat (limited to 'dev/header.c')
0 files changed, 0 insertions, 0 deletions