aboutsummaryrefslogtreecommitdiff
path: root/portal/portal.mli
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-28 13:34:22 +0200
committerClombrong <cromblong@egregore.fun>2025-06-28 16:44:54 +0200
commit9aeae3482c3de81b3bd13ca0e52f344b51fa7799 (patch)
treed67ae8bd3ffa4eaa93866800d6644af37d7d466a /portal/portal.mli
parent1f7e45684ab4b3858937d5d5b7b3b883c37f5603 (diff)
docs(stream): improve doc of negotiate
Diffstat (limited to 'portal/portal.mli')
0 files changed, 0 insertions, 0 deletions