Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
[pachi/derm.git] / uct / 
tree3ef928fbb9d0d220d1ce6f20077991d3fd109d06
drwxr-xr-x   ..
-rw-r--r-- 178 Makefile
-rw-r--r-- 12742 dynkomi.c
-rw-r--r-- 2212 dynkomi.h
-rw-r--r-- 5676 internal.h
drwxr-xr-x - policy
-rw-r--r-- 6313 prior.c
-rw-r--r-- 1187 prior.h
-rw-r--r-- 8168 slave.c
-rw-r--r-- 362 slave.h
-rw-r--r-- 27817 tree.c
-rw-r--r-- 5956 tree.h
-rw-r--r-- 44274 uct.c
-rw-r--r-- 352 uct.h
-rw-r--r-- 16083 walk.c
-rw-r--r-- 380 walk.h