aboutsummaryrefslogtreecommitdiffstats
path: root/lib/protocols/Directory.mli (unfollow)
Commit message (Expand)AuthorFilesLines
11 daysUse finger trees in more placesEstevan Castilho1-1/+1
11 daysmove directory out of prototypeMarcos Magueta1-0/+1
2026-09-25dune fmtMarcos Magueta1-2/+0
2026-08-23Allow directory operations to fail if neededEstevan Castilho1-4/+4
2026-08-23Make the interfaces openEstevan Castilho1-1/+1
2026-08-23The directory protocolEstevan Castilho1-0/+13