From af421ca55c783e524ec97131735706ecbbea7602 Mon Sep 17 00:00:00 2001 From: swrup Date: Mon, 15 Dec 2025 17:06:35 +0100 Subject: [PATCH] --- src/{keys.ml => http_keys.ml} | 0 src/{management.ml => http_management.ml} | 0 src/mte.ml | 2 +- 3 files changed, 1 insertion(+), 1 deletion(-) rename src/{keys.ml => http_keys.ml} (100%) rename src/{management.ml => http_management.ml} (100%) diff --git a/src/keys.ml b/src/http_keys.ml similarity index 100% rename from src/keys.ml rename to src/http_keys.ml diff --git a/src/management.ml b/src/http_management.ml similarity index 100% rename from src/management.ml rename to src/http_management.ml diff --git a/src/mte.ml b/src/mte.ml index 0aa7e3bd..c6c3424e 100644 --- a/src/mte.ml +++ b/src/mte.ml @@ -35,7 +35,7 @@ let routes = ] in let management = - let open Management in + let open Http_management in let v s = rel / "management" / s in [ get_ (v "keys") --> Keys_get.f;