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 new excluded treemap chunks

Browse source
This commit is contained in:
rand00 2021-12-16 15:14:48 +01:00 committed by Reynir Björnsson
parent 82c5614440
commit a0254b3e70
1 changed files with 2 additions and 2 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
[ [
"Minor subtrees", excluded_minors_size "Minors excluded from treemap", excluded_minors_size
] ]
in in
info info