aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Path.mli (follow)
Commit message (Expand)AuthorAgeFilesLines
* delete remaining trashMarcos Magueta2026-09-131-1/+1
* path utilities on kernel for lookup on registryMarcos Magueta2026-09-111-1/+1
* Multigroup objectsEstevan Castilho2026-09-111-0/+6