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