diff options
author | Clombrong <cromblong@egregore.fun> | 2025-08-17 16:47:46 +0200 |
---|---|---|
committer | Clombrong <cromblong@egregore.fun> | 2025-08-17 16:48:22 +0200 |
commit | 1f439bf652c76c3a222919cff7d62350a107dbf3 (patch) | |
tree | ef7c118499a8ec971b471693468a3f0ea03e4efb /lib/xml.ml | |
parent | bd7533186094ffdf9b1bd9908f603807472eacb5 (diff) |
refactor!(portal): rename header function to stream
Diffstat (limited to 'lib/xml.ml')
0 files changed, 0 insertions, 0 deletions