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 /src/bin/xi | |
parent | ce6a6f86e9202b6542605255deb42567d84f4816 (diff) |
dump.c: Postcond that we actually read something
Diffstat (limited to 'src/bin/xi')
0 files changed, 0 insertions, 0 deletions