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