From 8d40d300a5dc4aac21f0f847ff379cd2ad9a595b Mon Sep 17 00:00:00 2001 From: Tamo Date: Mon, 29 May 2023 12:37:24 +0200 Subject: [PATCH] rename the fuzzer to indexing --- fuzzers/src/bin/{fuzz.rs => indexing.rs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename fuzzers/src/bin/{fuzz.rs => indexing.rs} (100%) diff --git a/fuzzers/src/bin/fuzz.rs b/fuzzers/src/bin/indexing.rs similarity index 100% rename from fuzzers/src/bin/fuzz.rs rename to fuzzers/src/bin/indexing.rs