mpostma d114250ebb requested changes		2020-07-16 16:19:15 +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 document id uniqueness bug	2020-07-13 15:14:07 +02:00
documents_deletion.rs	implement placeholder search	2020-07-03 17:17:28 +02:00
helpers.rs	test unique document id bug	2020-07-13 15:14:07 +02:00
mod.rs	implement placeholder search	2020-07-03 17:17:28 +02:00
settings_update.rs	requested changes	2020-07-16 16:19:15 +02:00