diff options
| author | Clombrong <cromblong@egregore.fun> | 2025-08-14 23:01:59 +0200 |
|---|---|---|
| committer | Clombrong <cromblong@egregore.fun> | 2025-08-15 00:14:28 +0200 |
| commit | 5d31409b2e1a3624b23e894b606c1412546fc5ee (patch) | |
| tree | e5829642358bec175685e23c5e0b77b9f1c101c6 /portal/portal.mli | |
| parent | cbdbb587236f8d747ae5baf4b4f92e9458dff4f1 (diff) | |
feat!: use new opaque domain type in code
Diffstat (limited to 'portal/portal.mli')
0 files changed, 0 insertions, 0 deletions