aboutsummaryrefslogtreecommitdiff
path: root/portal/lib/dune
diff options
context:
space:
mode:
authorClombrong <clombrong@egregore.fun>2025-05-08 20:04:47 +0200
committerClombrong <cromblong@egregore.fun>2025-05-08 20:04:47 +0200
commit512f656a287f7aa8f78c65925dc2a843ec93e7aa (patch)
treea29b62f5cac924536d202cd625119870564db6e1 /portal/lib/dune
parent1561aa11046b326c915d711d17103601a921be30 (diff)
feat: start xmlm to markup.ml migration
Diffstat (limited to 'portal/lib/dune')
-rw-r--r--portal/lib/dune2
1 files changed, 1 insertions, 1 deletions
diff --git a/portal/lib/dune b/portal/lib/dune
index 8ce0232..e2fb20a 100644
--- a/portal/lib/dune
+++ b/portal/lib/dune
@@ -2,5 +2,5 @@
(name portal_ws)
(modules portal_ws)
(public_name flesh_websockets)
- (libraries lwt js_of_ocaml js_of_ocaml-lwt xmlm)
+ (libraries lwt js_of_ocaml js_of_ocaml-lwt xmlm markup)
(preprocess (pps js_of_ocaml-ppx)))