4 commits

This branch

This branch

All branches

Author	SHA1	Message	Date
Blallo	b0851a268c	Remove unused function	2020-03-03 14:21:06 +01:00
Blallo	3db212b3c6	Report the right size to Top	2020-03-03 14:16:54 +01:00
Blallo	67e51c9f1b	Avoid duplication at the tip of the tree.	2020-03-02 11:27:02 +01:00
Blallo	0bd99eaff7	init	2020-03-01 23:09:00 +01:00