Change default time settings from -t =80000 to -t 15
[pachi.git] / t-regress / by-ladder / 2011-08-08-Dallas-pachi2-2.sgf
blob2b0200d08d131a4d78488bc9d3b68fcfd1e89843
1 ../games/2011-08-08-Dallas-pachi2-2.sgf