mpostma dc2e5ceed2 fix bug		2020-10-16 14:16:12 +02:00
..
clear_all.rs	Rename user ids into external docids	2020-05-20 15:08:56 +02:00
customs_update.rs	refactor errors / isolate core/http errors	2020-05-28 16:23:46 +02:00
documents_addition.rs	fix bug	2020-10-16 14:16:12 +02:00
documents_deletion.rs	implement placeholder search	2020-07-03 17:17:28 +02:00
helpers.rs	fix bug	2020-10-16 14:16:12 +02:00
mod.rs	implement placeholder search	2020-07-03 17:17:28 +02:00
settings_update.rs	fix bug	2020-10-16 14:16:12 +02:00