Change ElapsedTime to a normal display function.
[gnushogi.git] / misc / gnushogi.pat
misc/gnushogi.pat