]> mj.ucw.cz Git - misc.git/commitdiff
Merge branch 'master' of git+ssh://git.ucw.cz/home/mj/GIT/misc
authorMartin Mares <mj@ucw.cz>
Sat, 24 Mar 2018 11:17:36 +0000 (12:17 +0100)
committerMartin Mares <mj@ucw.cz>
Sat, 24 Mar 2018 11:17:36 +0000 (12:17 +0100)

Trivial merge