Don't need to push visited position twice...
authorGreg Burri <greg.burri@gmail.com>
Mon, 12 Dec 2022 09:47:58 +0000 (10:47 +0100)
committerGreg Burri <greg.burri@gmail.com>
Mon, 12 Dec 2022 09:47:58 +0000 (10:47 +0100)
commitcd53fdc7171560a466815efdb344a316a06fed8c
tree9d2b785815953d34a650fc04a941f0b81f07a552
parent3f40e0659777ba355ad4da20ce5aaa6532541f6d
Don't need to push visited position twice...
src/day12.rs