aboutsummaryrefslogtreecommitdiff
path: root/lib/xmlns.ml
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-08-17 16:40:13 +0200
committerClombrong <cromblong@egregore.fun>2025-08-17 16:48:22 +0200
commit71e670133302f056928cc6f3a56068852b2808cf (patch)
tree261f7bde5e1b372e3fd30c05f50723a2108f0d84 /lib/xmlns.ml
parent8d5c6c404122070f1a69f1d886f4729fdcf7e6dd (diff)
refactor(portal-ws): recycle connect into portal_of_socket
Diffstat (limited to 'lib/xmlns.ml')
0 files changed, 0 insertions, 0 deletions