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)
commit21d1244e6b5f4a8bbf46f38668feb2f5c1b7a2cd
tree400dac6ec5262512811c3eb407e42f4ed9d91f77
parentb87feb020bcee025f79c448c02068dc3319ae299
Don't need to push visited position twice...
src/day12.rs