Merge branch 'dist' into derm
[pachi.git] / uct / policy / 
tree5a25f84607dce153d6aaff5e7be1752d4ed00d8d
drwxr-xr-x   ..
-rw-r--r-- 178 Makefile
-rw-r--r-- 1852 generic.c
-rw-r--r-- 2662 generic.h
-rw-r--r-- 3220 ucb1.c
-rw-r--r-- 8980 ucb1amaf.c