diff options
| author | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-11-06 08:47:48 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@gmail.com> | 2014-11-06 08:54:34 +0100 |
| commit | 9bdec7603713d269767dfd86dbd9b8342d0120fe (patch) | |
| tree | 297704cab4ce1d9c3502e38d2579d1dd9852af6e /src/undo.h | |
| parent | d064f7f3ee1b80c7e9ca1f149cae8aca4a071230 (diff) | |
Always log number of threads for script verification
Helps for troubleshooting.
Diffstat (limited to 'src/undo.h')
0 files changed, 0 insertions, 0 deletions