Dave Halter 7623b1e350 Removed tree.is_node. ...

It's not needed anymore, because we have Node/Leaf.type now.

2017-01-23 20:34:30 +01:00

10 KiB

Raw Blame History

View Raw