From 6f466f92a0df8360ea69ca47d14aaefc5f628a9c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Reynir=20Bj=C3=B6rnsson?= Date: Sun, 13 Dec 2020 15:00:02 +0100 Subject: [PATCH] Rename binaries to hashbang-cert-{client,server} To better reflect the hardcoded values in there. --- bin/dune | 12 ++++++------ ...ert_service_client.ml => hashbang_cert_client.ml} | 0 ...ert_service_server.ml => hashbang_cert_server.ml} | 0 3 files changed, 6 insertions(+), 6 deletions(-) rename bin/{cert_service_client.ml => hashbang_cert_client.ml} (100%) rename bin/{cert_service_server.ml => hashbang_cert_server.ml} (100%) diff --git a/bin/dune b/bin/dune index 78243f7..6f547dc 100644 --- a/bin/dune +++ b/bin/dune @@ -1,11 +1,11 @@ (executable - (public_name cert-service-server) - (name cert_service_server) - (modules cert_service_server) + (public_name hashbang-cert-server) + (name hashbang_cert_server) + (modules hashbang_cert_server) (libraries cert_service lwt.unix extunix bos mirage-crypto-rng.lwt)) (executable - (public_name cert-service-client) - (name cert_service_client) - (modules cert_service_client) + (public_name hashbang-cert-client) + (name hashbang_cert_client) + (modules hashbang_cert_client) (libraries cert_service lwt.unix bos mirage-crypto-rng.lwt)) diff --git a/bin/cert_service_client.ml b/bin/hashbang_cert_client.ml similarity index 100% rename from bin/cert_service_client.ml rename to bin/hashbang_cert_client.ml diff --git a/bin/cert_service_server.ml b/bin/hashbang_cert_server.ml similarity index 100% rename from bin/cert_service_server.ml rename to bin/hashbang_cert_server.ml