aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Registry.mli (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-09-25dune fmtMarcos Magueta1-3/+8
2026-08-29Make registration more like a CASEstevan Castilho1-4/+2
2026-08-23Make the interfaces openEstevan Castilho1-1/+1
2026-08-23The registry protocolEstevan Castilho1-0/+13