aboutsummaryrefslogtreecommitdiff
path: root/lib/xmlns.ml
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-08-17 16:59:09 +0200
committerClombrong <cromblong@egregore.fun>2025-08-17 16:59:09 +0200
commitfe54b2376534b63593cb84fe66fd52f9c1a5c841 (patch)
treebea2181556aa7051b1070a99c15b8ca2e2924d12 /lib/xmlns.ml
parentd7addba4ba9b34a70cf21bdf38d979a8f4bb8aea (diff)
feat(portal-ws): remove domain field from portal type
Diffstat (limited to 'lib/xmlns.ml')
0 files changed, 0 insertions, 0 deletions