Merge branch 'master' into libmap
commitd66993293780d4a79741c1238b46abe76223ad0c
authorPetr Baudis <pasky@ucw.cz>
Sun, 8 Sep 2013 15:11:55 +0000 (8 17:11 +0200)
committerPetr Baudis <pasky@ucw.cz>
Sun, 8 Sep 2013 15:11:55 +0000 (8 17:11 +0200)
tree4fc2e6fa6b7c707b6f43ebcbbc197780f7f0376f
parent5113111533f5ae165e7bb64b78b19092169618f8
parentece8ee9b31421d079cb4abd0d30f85bb11c52bcd
Merge branch 'master' into libmap

Conflicts:
uct/policy/ucb1amaf.c
uct/tree.c
mq.h
playout.c
playout/moggy.c
uct/policy/ucb1amaf.c
uct/search.c
uct/tree.c
uct/tree.h
uct/uct.c
uct/walk.c