diff options
| author | Geir Storli <geirst@verizonmedia.com> | 2019-04-30 10:49:33 +0000 |
|---|---|---|
| committer | Geir Storli <geirst@verizonmedia.com> | 2019-04-30 10:49:33 +0000 |
| commit | 45e35a96de891fb90a6190e19d5d2ad20dfecb44 (patch) | |
| tree | 4248a52f2ce4642a51b1035b2bf9a8bba94e126d /docprocs | |
| parent | 7fb9ed41d77810803772f9459a6df5076127555c (diff) | |
Simplify IndexBuilder API used when dumping a memory index to a disk index.
Diffstat (limited to 'docprocs')
0 files changed, 0 insertions, 0 deletions