Merge branch 'master' of ssh://repo.or.cz/srv/git/pachi
[pachi.git] / tactics / 
tree10040fe43d91de80643ae3ccdf4501a2ff31c43a
drwxr-xr-x   ..
-rw-r--r-- 4335 1lib.c
-rw-r--r-- 569 1lib.h
-rw-r--r-- 175 Makefile
-rw-r--r-- 6011 ladder.c
-rw-r--r-- 1362 ladder.h
-rw-r--r-- 10807 selfatari.c
-rw-r--r-- 881 selfatari.h
-rw-r--r-- 3053 util.c
-rw-r--r-- 2596 util.h