diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-17 23:38:08 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-17 23:41:13 +0200 |
| commit | c91d16adf3253ff1224fb093c7708964e6b2a978 (patch) | |
| tree | 93a81849081df4241e5ae667ae113a7cd06a2816 /portal/lib/dune | |
| parent | 98f092a2e47882091bbbe10642cc810df9e11f5e (diff) | |
feat(portal-websockets): return a stream of signals with stanza_open
Diffstat (limited to 'portal/lib/dune')
| -rw-r--r-- | portal/lib/dune | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/portal/lib/dune b/portal/lib/dune index 1a330b9..736a2d4 100644 --- a/portal/lib/dune +++ b/portal/lib/dune @@ -1,4 +1,4 @@ (library (public_name portal) (virtual_modules portal) - (libraries lwt)) + (libraries lwt markup markup-lwt)) |