From 99e9057684853302f85707a5838fd7c85f22cf86 Mon Sep 17 00:00:00 2001 From: Tamo Date: Mon, 29 May 2023 13:07:06 +0200 Subject: [PATCH] rename the indexing fuzzer to fuzz-indexing so it doesn't collide with other binary name when being called from the root of the workspace --- fuzzers/src/bin/{indexing.rs => fuzz-indexing.rs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename fuzzers/src/bin/{indexing.rs => fuzz-indexing.rs} (100%) diff --git a/fuzzers/src/bin/indexing.rs b/fuzzers/src/bin/fuzz-indexing.rs similarity index 100% rename from fuzzers/src/bin/indexing.rs rename to fuzzers/src/bin/fuzz-indexing.rs