diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-25 11:20:04 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-25 11:20:30 +0200 |
| commit | 100b8ef0782844881e25d10f0b0f12d78e33771e (patch) | |
| tree | 2c1701a609f2f86b970f2567877976f85756b420 /portal/tcp/dune | |
| parent | 31f96c0f04df6265bc26edaceaf7881451dc85bb (diff) | |
feat(portal): new tcp portal module
Diffstat (limited to 'portal/tcp/dune')
| -rw-r--r-- | portal/tcp/dune | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/portal/tcp/dune b/portal/tcp/dune new file mode 100644 index 0000000..43366c0 --- /dev/null +++ b/portal/tcp/dune @@ -0,0 +1,3 @@ +(library + (name portal_tcp) + (libraries lwt markup markup-lwt)) |