From b0615420283d03624814722053640f7dbca233b1 Mon Sep 17 00:00:00 2001 From: Christian Schwarz Date: Thu, 2 Nov 2023 10:59:54 +0100 Subject: [PATCH] rename getpage_bench to getpage_bench_http --- pageserver/src/bin/{getpage_bench.rs => getpage_bench_http.rs} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename pageserver/src/bin/{getpage_bench.rs => getpage_bench_http.rs} (100%) diff --git a/pageserver/src/bin/getpage_bench.rs b/pageserver/src/bin/getpage_bench_http.rs similarity index 100% rename from pageserver/src/bin/getpage_bench.rs rename to pageserver/src/bin/getpage_bench_http.rs