]> rtime.felk.cvut.cz Git - hubacji1/rrts.git/commitdiff
Merge branch 'feature/dijkstra-path-opt'
authorJiri Vlasak <hubacji1@fel.cvut.cz>
Fri, 11 Oct 2019 08:23:11 +0000 (10:23 +0200)
committerJiri Vlasak <hubacji1@fel.cvut.cz>
Fri, 11 Oct 2019 08:23:11 +0000 (10:23 +0200)

Trivial merge