From a0254b3e7027389ff7b1c317f42e58addd10479c Mon Sep 17 00:00:00 2001 From: rand00 Date: Thu, 16 Dec 2021 15:14:48 +0100 Subject: [PATCH] Builder_web.job_build_treemap: Changed title of new excluded treemap chunks --- lib/builder_web.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/builder_web.ml b/lib/builder_web.ml index 1306a76..47617df 100644 --- a/lib/builder_web.ml +++ b/lib/builder_web.ml @@ -237,8 +237,8 @@ let add_routes datadir = |> List.map Info.compute_area |> List.fold_left Int64.add 0L in - [ - "Minor subtrees", excluded_minors_size + [ + "Minors excluded from treemap", excluded_minors_size ] in info