Merge branch 'master' of ssh://repo.or.cz/srv/git/pachi
[pachi.git] / uct / 
tree8549ce7a5ba3bd73dd5b01713acc088c52464521
drwxr-xr-x   ..
-rw-r--r-- 18172 COPYING
-rw-r--r-- 145 Makefile
-rw-r--r-- 1300 internal.h
drwxr-xr-x - policy
-rw-r--r-- 13328 tree.c
-rw-r--r-- 2027 tree.h
-rw-r--r-- 15217 uct.c
-rw-r--r-- 295 uct.h