ehouse d29b048504 timeout games after five minutes no matter what		2009-08-23 15:35:47 +00:00
..
playnum.sh	first checkin	2003-11-01 05:35:29 +00:00
sim_real.sh	timeout games after five minutes no matter what	2009-08-23 15:35:47 +00:00
times.pl	script for averaging results of running 'time' multiple times.	2006-08-12 02:01:57 +00:00
use_relay.sh	get rid of gratuitous echo	2009-07-05 01:46:27 +00:00
wordlens.pl	first checkin	2003-11-01 05:35:29 +00:00