Change default time settings from -t =80000 to -t 15
[pachi.git] / t-regress / by-ko / 
tree0d07bc992a3a3000710c54d522d9bd55033060ee
drwxr-xr-x   ..
lrwxrwxrwx 40 2011-06-09-jinen-pachi30s-2.sgf -> ../games/2011-06-09-jinen-pachi30s-2.sgf