aboutsummaryrefslogtreecommitdiff
path: root/bin/dune
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 06:37:15 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 06:37:15 -0600
commitb64c38608336ded4d5d4c38a488c5ef847b4943a (patch)
tree003115e098b89138b70e406d9d1b3f63fccb938f /bin/dune
parentce11c9094e4e39cb58f718f7bbd6f17bc5418585 (diff)
downloadwormhole-b64c38608336ded4d5d4c38a488c5ef847b4943a.tar.gz
wormhole-b64c38608336ded4d5d4c38a488c5ef847b4943a.tar.bz2
wormhole-b64c38608336ded4d5d4c38a488c5ef847b4943a.zip
Remove rule for login
Diffstat (limited to 'bin/dune')
-rw-r--r--bin/dune5
1 files changed, 0 insertions, 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})))