diff options
author | Jon Marius Venstad <venstad@gmail.com> | 2021-10-29 14:09:45 +0200 |
---|---|---|
committer | Jon Marius Venstad <venstad@gmail.com> | 2021-10-30 13:07:58 +0200 |
commit | f2bc09658995f8bf56fde89638491d67c2bcae59 (patch) | |
tree | 11e4f6b80556ba7057651b2f2f82e36a666aa532 /jrt | |
parent | 18a747185627747b0d137d8d4f06da3024587114 (diff) |
Write visited documents in chunks to synchronization point
Diffstat (limited to 'jrt')
0 files changed, 0 insertions, 0 deletions