Kerollmops ddeb5745be Refactor a little bit		2020-05-20 17:01:57 +02:00
..
clear_all.rs	Rename user ids into external docids	2020-05-20 15:08:56 +02:00
customs_update.rs	Separate the update and main databases	2019-11-27 11:29:06 +01:00
documents_addition.rs	Refactor a little bit	2020-05-20 17:01:57 +02:00
documents_deletion.rs	Refactor a little bit	2020-05-20 17:01:57 +02:00
helpers.rs	Refactor a little bit	2020-05-20 17:01:57 +02:00
mod.rs	Discover and remove documents ids	2020-05-20 14:18:59 +02:00
settings_update.rs	facet settings	2020-05-11 16:12:13 +02:00