aboutsummaryrefslogtreecommitdiff
path: root/portal/portal.mli
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-27 09:02:31 +0200
committerClombrong <cromblong@egregore.fun>2025-06-27 09:54:35 +0200
commita808e8a486ba3e08bc62cc77c7a0724fb8173b81 (patch)
tree18852f376ffd21f362b730354ee53d5ecbd59d92 /portal/portal.mli
parent13273777453522c4b73083207b3ba50ea3ca6bd0 (diff)
feat(stream): add function initiate
Diffstat (limited to 'portal/portal.mli')
0 files changed, 0 insertions, 0 deletions