rename mte_*.ml

This commit is contained in:
swrup 2026-03-03 10:16:27 +01:00
parent 4d39d2ff39
commit 650264f21e
4 changed files with 6 additions and 6 deletions

View file

@ -29,19 +29,19 @@ let routes =
let tos =
[
get rel --> hello;
get (v "terms") --> Http_terms.terms;
get (v "privacy") --> Http_terms.privacy;
get (v "terms") --> Mte_terms.terms;
get (v "privacy") --> Mte_terms.privacy;
]
in
let status_info =
[
get (v "seed") --> Http_info.seed;
get (v "config") --> Http_info.config;
get (v "keys") --> Http_info.keys;
get (v "seed") --> Mte_info.seed;
get (v "config") --> Mte_info.config;
get (v "keys") --> Mte_info.keys;
]
in
let management =
let open Http_management in
let open Mte_management in
let v s = v "management" / s in
[
get (v "keys") --> Keys_get.f;