aboutsummaryrefslogtreecommitdiffstats
path: root/lib/kernel
ModeNameSize
-rw-r--r--Branch.ml2131logstatsplainblame
-rw-r--r--Branch.mli199logstatsplainblame
-rw-r--r--BranchManager.ml3321logstatsplainblame
-rw-r--r--BranchManager.mli150logstatsplainblame
-rw-r--r--Identity.ml157logstatsplainblame
-rw-r--r--Identity.mli92logstatsplainblame
-rw-r--r--Initialization.ml394logstatsplainblame
-rw-r--r--Initialization.mli146logstatsplainblame
-rw-r--r--Lifecycle.ml537logstatsplainblame
-rw-r--r--Lifecycle.mli259logstatsplainblame
-rw-r--r--Merkle.ml13611logstatsplainblame
-rw-r--r--Namespace.ml926logstatsplainblame
-rw-r--r--Namespace.mli188logstatsplainblame
-rw-r--r--Storage.ml1567logstatsplainblame
-rw-r--r--Storage.mli910logstatsplainblame