diff --git a/pool/web/utils/http_utils_print.ml b/pool/web/utils/http_utils_print.ml deleted file mode 100644 index 310aa3081..000000000 --- a/pool/web/utils/http_utils_print.ml +++ /dev/null @@ -1,4 +0,0 @@ -let html_body ~document_title content = - let open Tyxml.Html in - html (head (title (txt document_title)) []) (body content) -;;