aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-26 11:28:23 +0200
committerClombrong <cromblong@egregore.fun>2025-06-26 16:26:14 +0200
commitbc9430e1bc04c2d66f806b403dfa1fe2f24e9720 (patch)
tree6147c4fc08d67efa3c530691c9f05b1f3d4f7017 /dune-project
parent89bd44ddf5e253c4acf8a2b452b28346a4c8eedf (diff)
fix(portal_tcp): provide the right xmlns
Diffstat (limited to 'dune-project')
0 files changed, 0 insertions, 0 deletions