tree e4f0bf8e2c098dbe9330edd8de9239d56ccb4996
parent 0c95112510ee49b296a1c30a31972ee17a6dc81b
author Benoit Walter <benoit.walter@meerun.de> 1580851954 +0100
committer Anton Kochkov <xvilka@gmail.com> 1583816580 +0800

 Dijkstra: only add next node into the heap when needed