Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
[pachi.git] / uct / policy / 
tree01cdc687e1417c9d1197ef083daece4fd8296c68
drwxr-xr-x   ..
-rw-r--r-- 180 Makefile
-rw-r--r-- 5310 ucb1.c
-rw-r--r-- 9878 ucb1amaf.c
-rw-r--r-- 2508 ucb1tuned.c