From e8227e521fc22673c6d49922f995fd62019b824d Mon Sep 17 00:00:00 2001 From: swrup Date: Thu, 12 Feb 2026 12:57:10 +0100 Subject: [PATCH] --- src/{static.ml => http_terms.ml} | 0 src/mte.ml | 4 ++-- 2 files changed, 2 insertions(+), 2 deletions(-) rename src/{static.ml => http_terms.ml} (100%) diff --git a/src/static.ml b/src/http_terms.ml similarity index 100% rename from src/static.ml rename to src/http_terms.ml diff --git a/src/mte.ml b/src/mte.ml index abfc68a8..065cf57d 100644 --- a/src/mte.ml +++ b/src/mte.ml @@ -29,8 +29,8 @@ let routes = let v s = rel / s in [ get_ rel --> hello; - get_ (v "terms") --> Static.terms; - get_ (v "privacy") --> Static.privacy; + get_ (v "terms") --> Http_terms.terms; + get_ (v "privacy") --> Http_terms.privacy; ] in let status_info =