bors[bot] d342c3c357 Merge #438 ... 438: CLI improvements r=Kerollmops a=MarinPostma I've made the following changes to the cli: - `settings-update` become `settings`, with two subcommands: `update` and `show`. - `document-addition` becomes `documents` with a subcommands: `add` (I'll add a feature to list documents later) - `search` now has an interactive mode `-i` - search return the number of documents and the time it took to perform the search. Co-authored-by: mpostma <postma.marin@protonmail.com>		2022-01-26 15:18:20 +00:00
..
src	cli improvements	2022-01-25 14:08:30 +01:00
Cargo.toml	bump milli	2022-01-17 16:41:34 +01:00