]> rtime.felk.cvut.cz Git - hubacji1/rrts.git/commitdiff
projects / hubacji1 / rrts.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: dc5bb8b 9121b58)
Merge branch 'release/0.8.0'
authorJiri Vlasak <jiri.vlasak.2@cvut.cz>
Tue, 27 Jul 2021 16:14:03 +0000 (18:14 +0200)
committerJiri Vlasak <jiri.vlasak.2@cvut.cz>
Tue, 27 Jul 2021 16:14:03 +0000 (18:14 +0200)

Trivial merge