Robur 07b5daff9f Fix to the code extracting binary size for treemap visualization		2022-02-01 11:30:44 +00:00
..
authorization.ml
builder_web.ml	Fix to the code extracting binary size for treemap visualization	2022-02-01 11:30:44 +00:00
dune	Treemap scale: Passing on binary-size to new Treemap renderer	2022-02-01 11:30:44 +00:00
model.ml	Rewrite queries to take optional platform	2021-11-18 11:56:17 +01:00
model.mli
utils.ml
views.ml	Treemap scale: Passing on binary-size to new Treemap renderer	2022-02-01 11:30:44 +00:00