diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-06-26 22:15:12 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-06-27 08:56:42 +0200 |
| commit | 41aa93cf6465201447e13e9db0440aaac00cb4e2 (patch) | |
| tree | 6a5e6e810870b8c180f6cb2015a448de72a30134 /lib/xmlns.ml | |
| parent | 3f9271f38f49d38a583ec99ec1ddf81a45945e73 (diff) | |
feat(portal): change type t into a record
Diffstat (limited to 'lib/xmlns.ml')
0 files changed, 0 insertions, 0 deletions