From d671d6f0f1852aac4c47ad40bb05974e4d745130 Mon Sep 17 00:00:00 2001 From: Tamo Date: Mon, 13 Dec 2021 19:27:34 +0100 Subject: [PATCH] remove an unused file --- milli/src/update/index_documents/store.rs | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 milli/src/update/index_documents/store.rs diff --git a/milli/src/update/index_documents/store.rs b/milli/src/update/index_documents/store.rs deleted file mode 100644 index e69de29bb..000000000