aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel/Initialization.mli (unfollow)
Commit message (Expand)AuthorFilesLines
2026-08-01Initialization with Branch State and IndexMarcos Magueta1-0/+10
2026-07-31Revert "initialization"Marcos Magueta1-19/+0
2026-07-31initializationMarcos Magueta1-0/+19