Merge branch 'master' of git://repo.or.cz/pachi
commitae79d2c12476cc047f0c9f1aee8926f4f221029a
authorPetr Baudis <pasky@ucw.cz>
Mon, 22 Sep 2008 04:01:29 +0000 (22 06:01 +0200)
committerPetr Baudis <pasky@ucw.cz>
Mon, 22 Sep 2008 04:01:29 +0000 (22 06:01 +0200)
treee76990c41206eaf04d62d8a07ed82c4e13303d38
parent32e6952a436812b10a1f4ebcd7d0545433ad88f6
parent5ad0299afc7fd70807789aa06e4f53d527b47fa1
Merge branch 'master' of git://repo.or.cz/pachi
uct/tree.c
uct/uct.c