aboutsummaryrefslogtreecommitdiff
path: root/lib/xml.ml
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-25 20:43:39 +0200
committerClombrong <cromblong@egregore.fun>2025-06-25 20:43:39 +0200
commita7e245b50234319b060f1bd63e18bc9a2b2281c8 (patch)
tree3c29993d577dc885c34befe12fc04faf8f867deb /lib/xml.ml
parentd9d4e6c329cb3ad7c88a63b681556335adb7d7ce (diff)
chore(portal_websockets): remove useless open
Diffstat (limited to 'lib/xml.ml')
0 files changed, 0 insertions, 0 deletions