aboutsummaryrefslogtreecommitdiff
path: root/dune-workspace
diff options
context:
space:
mode:
authorClombrong <cromblong@egregore.fun>2025-08-14 23:01:59 +0200
committerClombrong <cromblong@egregore.fun>2025-08-15 00:14:28 +0200
commit5d31409b2e1a3624b23e894b606c1412546fc5ee (patch)
treee5829642358bec175685e23c5e0b77b9f1c101c6 /dune-workspace
parentcbdbb587236f8d747ae5baf4b4f92e9458dff4f1 (diff)
feat!: use new opaque domain type in code
Diffstat (limited to 'dune-workspace')
0 files changed, 0 insertions, 0 deletions