recollindex: -r -e would erase, then reindex the docs instead of just erase

Jean-Francois Dockes Jean-Francois Dockes 2017-12-20

changed src/index/recollindex.cpp
src/index/recollindex.cpp Diff Switch to side-by-side view
Loading...