Rename lE_server to lE_http_server (@hannesm)

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

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/mirage/dune b/mirage/dune
@@ -6,8 +6,8 @@
  (libraries letsencrypt http-mirage-client tcpip mirage-time duration emile))
 
 (library
- (name le_server)
+ (name le_http_server)
  (wrapped false)
- (public_name letsencrypt-mirage.server)
- (modules lE_server)
+ (public_name letsencrypt-mirage.http-server)
+ (modules lE_http_server)
  (libraries letsencrypt letsencrypt-mirage paf.mirage))
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