robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Builder_web.job_build_treemap: Changed title of excluded treemap chunks

Browse source
This commit is contained in:
rand00 2021-12-20 15:51:40 +01:00 committed by Reynir Björnsson
parent c6ff42d391
commit ade1ea3a38
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
lib/builder_web.ml
View file

@ -238,7 +238,7 @@ let add_routes datadir =
|> List.fold_left Int64.add 0L |> List.fold_left Int64.add 0L
in in
[ [
"Minors excluded from treemap", excluded_minors_size "Smaller excluded entries", excluded_minors_size
] ]
in in
info info