Merge branch 'master' of git://repo.or.cz/pachi
commit2f28115158cbfb4b37e4a2eaf229b1a4b5964971
authorPetr Baudis <pasky@ucw.cz>
Mon, 22 Sep 2008 02:10:12 +0000 (22 04:10 +0200)
committerPetr Baudis <pasky@ucw.cz>
Mon, 22 Sep 2008 02:10:12 +0000 (22 04:10 +0200)
tree8409eaa03a198ec6e3cb0b79c98844edb67f6cbb
parent76e32d4c8d022b75fa52b742944473ad40be0035
parent63ffc9c6489601515e812277b00cb2c9c803c7f1
Merge branch 'master' of git://repo.or.cz/pachi
gtp.c
uct/tree.c
uct/uct.c