Rename lE_server to lE_http_server (@hannesm)

robur-coop · Feb 3, 2023 · a77da6a · a77da6a
1 parent d85ad7b
commit a77da6a
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 0 deletions.
diff --git a/mirage/lE_server.ml → mirage/lE_http_server.ml b/mirage/lE_server.ml → mirage/lE_http_server.ml
diff --git a/mirage/lE_server.mli → mirage/lE_http_server.mli b/mirage/lE_server.mli → mirage/lE_http_server.mli