From e8cb0fc1ca755fd8aae94a35b2228f35f3155e25 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Thu, 4 Dec 2025 11:30:38 -0500 Subject: [PATCH] move interval_limiter to src/client --- src/{util => client}/interval_limiter.ml | 0 src/{util => client}/interval_limiter.mli | 0 2 files changed, 0 insertions(+), 0 deletions(-) rename src/{util => client}/interval_limiter.ml (100%) rename src/{util => client}/interval_limiter.mli (100%) diff --git a/src/util/interval_limiter.ml b/src/client/interval_limiter.ml similarity index 100% rename from src/util/interval_limiter.ml rename to src/client/interval_limiter.ml diff --git a/src/util/interval_limiter.mli b/src/client/interval_limiter.mli similarity index 100% rename from src/util/interval_limiter.mli rename to src/client/interval_limiter.mli