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