diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-17 23:20:03 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-17 23:37:13 +0200 |
| commit | 98f092a2e47882091bbbe10642cc810df9e11f5e (patch) | |
| tree | cf72cf0ada033c0e85f056ff095c35278cc2abbe /portal-websockets.opam | |
| parent | 0c8f92a24ce0e4d6e954b70e29c89ec874592bc5 (diff) | |
feat(portal): depend on markup.ml
Diffstat (limited to 'portal-websockets.opam')
| -rw-r--r-- | portal-websockets.opam | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/portal-websockets.opam b/portal-websockets.opam index 101de6f..e95bb1b 100644 --- a/portal-websockets.opam +++ b/portal-websockets.opam @@ -14,9 +14,6 @@ depends: [ "js_of_ocaml" "js_of_ocaml-lwt" "js_of_ocaml-ppx" - "xmlm" - "markup" - "markup-lwt" "merlin" {with-test} "utop" {with-test} "odoc" {with-doc} |