]> mj.ucw.cz Git - home-hw.git/commitdiff
Merge branch 'master' of ssh://git.ucw.cz/home/mj/GIT/home-hw
authorMartin Mares <mj@ucw.cz>
Fri, 14 Jul 2023 15:42:35 +0000 (17:42 +0200)
committerMartin Mares <mj@ucw.cz>
Fri, 14 Jul 2023 15:42:35 +0000 (17:42 +0200)

Trivial merge