tree 90b2110719972f3c733bba46cbe04e29f77be282
parent ae3833db3b0acd5d7f06cad333e61e21e39be295
author ljedrz <ljedrz@gmail.com> 1544623633 +0100
committer ljedrz <ljedrz@gmail.com> 1544623633 +0100

specialize: remove Boxes used by Children::insert