Merge branch 'master' of git+ssh://repo.or.cz/srv/git/pachi
[pachi.git] / tactics / 
treecc376cef0299d0dd6100bd24fa20f31f2d46d833
drwxr-xr-x   ..
-rw-r--r-- 4335 1lib.c
-rw-r--r-- 569 1lib.h
-rw-r--r-- 4549 2lib.c
-rw-r--r-- 332 2lib.h
-rw-r--r-- 182 Makefile
-rw-r--r-- 6011 ladder.c
-rw-r--r-- 1362 ladder.h
-rw-r--r-- 11344 selfatari.c
-rw-r--r-- 1272 selfatari.h
-rw-r--r-- 3053 util.c
-rw-r--r-- 2596 util.h