]> mj.ucw.cz Git - ga.git/commitdiff
projects / ga.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 98e72c1 ef5e1d7)
Merge branch 'master' of git+ssh://git.ucw.cz/home/mj/GIT/ga master
authorMartin Mares <mj@ucw.cz>
Mon, 15 Jan 2024 21:08:42 +0000 (22:08 +0100)
committerMartin Mares <mj@ucw.cz>
Mon, 15 Jan 2024 21:08:42 +0000 (22:08 +0100)

Trivial merge
Skripticka Krajinou grafovych algoritmu