fixed problems in mouse handler from merge latest merge
[xboard.git] / sounds / woodthunk.wav
2003-10-27 Tim MannThese are the changes I had made in my source tree...