Moggy: Remove ladder-related options (obsolete, should always be enabled)
[pachi/json.git] / tactics / 
treeab716d3cd09594026d3a29771c5e35d05d536d1f
drwxr-xr-x   ..
-rw-r--r-- 168 Makefile
-rw-r--r-- 6011 ladder.c
-rw-r--r-- 1608 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