Change default time settings from -t =80000 to -t 15
[pachi.git] / t-regress / by-ladder / 2011-06-13-pachi30s-Jep.sgf
blob3680bbb93edd179a36963773856dc18edd9dede1
1 ../games/2011-06-13-pachi30s-Jep.sgf