tree 8b232091b02e35701717096b4b96cad445520450
parent 3d20c9cf030dcc49dc30c1ee7bed5879f295524b
author Erik Krasner <erik.krasnerkarpen@gmail.com> 1496026998 +0100
committer Erik Krasner <erik.krasnerkarpen@gmail.com> 1496027072 -0700

used more efficient method for .empty()