bors[bot] d94339a858

Merge #636 ...

636: Remove unused `infos`, `http-ui`, and `milli/fuzz`, crates r=ManyTheFish a=loiclec

We haven't used the `infos/`, `http-ui/` and `milli/fuzz/` crates in a long time. They are not properly maintained and probably do not work correctly anymore.

This PR removes these crates entirely from the workspace to reduce the amount of code we need to maintain.

Co-authored-by: Loïc Lecrenier <loic@meilisearch.com>

2022-09-14 12:39:57 +00:00

..

src

Merge #635

2022-09-14 12:00:52 +00:00

tests

replace optional_words by term_matching_strategy

2022-08-22 17:47:19 +02:00

Cargo.toml

Merge #635

2022-09-14 12:00:52 +00:00