From 4b6e27bda229d8863da7dff534ee859dcf817536 Mon Sep 17 00:00:00 2001 From: swrup Date: Wed, 18 Feb 2026 18:48:49 +0100 Subject: [PATCH] --- src/{http_information.ml => http_info.ml} | 0 src/mte.ml | 6 +++--- 2 files changed, 3 insertions(+), 3 deletions(-) rename src/{http_information.ml => http_info.ml} (100%) diff --git a/src/http_information.ml b/src/http_info.ml similarity index 100% rename from src/http_information.ml rename to src/http_info.ml diff --git a/src/mte.ml b/src/mte.ml index 77f07de8..335a9170 100644 --- a/src/mte.ml +++ b/src/mte.ml @@ -35,9 +35,9 @@ let routes = in let status_info = [ - get (v "seed") --> Http_information.seed; - get (v "config") --> Http_information.config; - get (v "keys") --> Http_information.keys; + get (v "seed") --> Http_info.seed; + get (v "config") --> Http_info.config; + get (v "keys") --> Http_info.keys; ] in let management =