remove dead memory tool files

8d3b9e90 parent 1ae04cf9 +7 −1488
browse files