aboutsummaryrefslogtreecommitdiff
path: root/lib/xml.ml
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-06-18 13:31:40 +0200
committerClombrong <cromblong@egregore.fun>2025-06-18 13:37:39 +0200
commit8d709f897ccba1d42af4e90fae0d741a6b835a03 (patch)
treeb90aece55521839d6cd2b2ae49bbec09dc5f87fd /lib/xml.ml
parentf6bf68a86908f1967bda9573b6d1ae7c2f8c7078 (diff)
feat(portal): add XML namespace to interface
Diffstat (limited to 'lib/xml.ml')
0 files changed, 0 insertions, 0 deletions