diff options
| author | Jari Vetoniemi <mailroxas@gmail.com> | 2017-12-07 22:05:30 +0200 |
|---|---|---|
| committer | Jari Vetoniemi <mailroxas@gmail.com> | 2017-12-07 22:05:30 +0200 |
| commit | 0ec51164dbbf1d999bf31ca18990df5980fcaa9b (patch) | |
| tree | caad6f57525e21ec10e265186850e59eca7da797 /doc | |
| parent | ce6a6f86e9202b6542605255deb42567d84f4816 (diff) | |
dump.c: Postcond that we actually read something
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions