diff options
| author | Christian Grothoff <christian@grothoff.org> | 2018-05-13 19:26:00 +0200 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2018-05-13 19:26:00 +0200 |
| commit | 633132e29e6003aa441e67913ea33d1de9d0d36d (patch) | |
| tree | dd37a13378a461542d64a5eb8913b7b8625b4b33 /doc/documentation/tutorial-examples/007.c | |
| parent | afe77605ece37e240b79ca0578a2dd95d856b54f (diff) | |
output basic stats even on 100% failures
Diffstat (limited to 'doc/documentation/tutorial-examples/007.c')
0 files changed, 0 insertions, 0 deletions