diff options
| author | Will Dietz <w@wdtz.org> | 2018-06-18 17:31:00 -0500 |
|---|---|---|
| committer | Will Dietz <w@wdtz.org> | 2018-06-18 17:31:00 -0500 |
| commit | f601bc049258ed438aa6f8199c5be11770d44aaf (patch) | |
| tree | fcaa03b35a0de1a42cd9046bc597d12007af36ee /doc | |
| parent | b920b908578d68c7c80f1c1e89c42784693e18d5 (diff) | |
sync.hh: return cv_status instead of dropping it, in case useful.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions