diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-28 00:42:03 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-28 07:38:36 +0200 |
| commit | bcc6e7578ff63d4e0f37fbf3d7312e0082bdc98e (patch) | |
| tree | eb2dc5be28d2a16adeed2b0f4a0317a0467c2b39 /lib/xml.ml | |
| parent | e985ff60318dd5bad2928bf703f639d64f3df932 (diff) | |
style(portal_tcp): make push function less ugly
Diffstat (limited to 'lib/xml.ml')
0 files changed, 0 insertions, 0 deletions