From b64c38608336ded4d5d4c38a488c5ef847b4943a Mon Sep 17 00:00:00 2001
From: Marc Coquand <marcc@fastmail.fr>
Date: Mon, 4 Dec 2023 06:37:15 -0600
Subject: Remove rule for login

---
 bin/dune | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/bin/dune b/bin/dune
index 7126f64..aa0800b 100644
--- a/bin/dune
+++ b/bin/dune
@@ -8,8 +8,3 @@
  (targets template.ml)
  (deps template.eml)
  (action (run dream_eml %{deps} --workspace %{workspace_root})))
-
-(rule
- (targets login.ml)
- (deps login.eml)
- (action (run dream_eml %{deps} --workspace %{workspace_root})))
-- 
cgit v1.2.3