]> rtime.felk.cvut.cz Git - hubacji1/iamcar2.git/commitdiff
Merge branch 'fix-path-opt-ext13'
authorJiri Vlasak <hubacji1@fel.cvut.cz>
Mon, 20 Mar 2023 12:13:49 +0000 (13:13 +0100)
committerJiri Vlasak <hubacji1@fel.cvut.cz>
Mon, 20 Mar 2023 12:13:49 +0000 (13:13 +0100)

Trivial merge