diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-06-07 15:17:58 +0200 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2016-06-07 15:25:41 +0200 |
| commit | 22e0b35676230961aeb848a4f5c6b007cb8a43c9 (patch) | |
| tree | 037ccf611b618f47f6c6d9b8c4c36c00aa13825d /src/checkpoints.h | |
| parent | 9b6a48c2e996499af5a98931e17667950a307c13 (diff) | |
| parent | 8b78486d02ed3c1c217d79ebca78a70d73e0d570 (diff) | |
Merge #8136: Log/report in 10% steps during VerifyDB
8b78486 Log/report in 10% steps during VerifyDB (Jonas Schnelli)
Diffstat (limited to 'src/checkpoints.h')
0 files changed, 0 insertions, 0 deletions