Skip to content

fix: stop pre-deleting by default in corpus indexing command#56

Merged
shieldo merged 1 commit intomasterfrom
dont_pre_delete_by_default
May 26, 2017
Merged

fix: stop pre-deleting by default in corpus indexing command#56
shieldo merged 1 commit intomasterfrom
dont_pre_delete_by_default

Commits

Commits on May 26, 2017