Merge branch 'master' into libmap
commit969c81b3a90ed9260a42c3d2b1557a64d0067769
authorPetr Baudis <pasky@ucw.cz>
Wed, 27 Feb 2013 21:47:43 +0000 (27 22:47 +0100)
committerPetr Baudis <pasky@ucw.cz>
Wed, 27 Feb 2013 21:47:43 +0000 (27 22:47 +0100)
tree07683950341cccd4e96c9dd29bb1b472b1f7b54c
parent732d1d153ac83d9c0bea4955fd53be7e42d2ad39
parent87d43a9e88bb3ce822fd53ef97d1834bf615bacc
Merge branch 'master' into libmap
board.h
playout/moggy.c
uct/internal.h
uct/policy/ucb1amaf.c
uct/search.c
uct/tree.c
uct/uct.c
uct/walk.c