aboutsummaryrefslogtreecommitdiff
path: root/dune-workspace
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-25 14:16:18 +0200
committerClombrong <cromblong@egregore.fun>2025-06-25 14:16:18 +0200
commit08d7c8435d487e85e37e8d7264572f4cc20b4c61 (patch)
tree515b34b322ff3af14c910f84e1f94c3507b1e634 /dune-workspace
parent6363eac43fe5e7df6ece304b59a57aad0925596a (diff)
fix(portal-tcp): rename tcp_endpoint to xmpp_port
Diffstat (limited to 'dune-workspace')
0 files changed, 0 insertions, 0 deletions