aboutsummaryrefslogtreecommitdiff
path: root/portal/lib/ws/dune
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-17 23:38:08 +0200
committerClombrong <cromblong@egregore.fun>2025-06-17 23:41:13 +0200
commitc91d16adf3253ff1224fb093c7708964e6b2a978 (patch)
tree93a81849081df4241e5ae667ae113a7cd06a2816 /portal/lib/ws/dune
parent98f092a2e47882091bbbe10642cc810df9e11f5e (diff)
feat(portal-websockets): return a stream of signals with stanza_open
Diffstat (limited to 'portal/lib/ws/dune')
-rw-r--r--portal/lib/ws/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/portal/lib/ws/dune b/portal/lib/ws/dune
index fa14219..22de458 100644
--- a/portal/lib/ws/dune
+++ b/portal/lib/ws/dune
@@ -2,5 +2,5 @@
(name portal_ws)
(implements portal)
(public_name portal-websockets)
- (libraries lwt js_of_ocaml js_of_ocaml-lwt xmlm markup markup-lwt)
+ (libraries lwt js_of_ocaml js_of_ocaml-lwt markup markup-lwt)
(preprocess (pps js_of_ocaml-ppx)))