fixed bug #25672, patch #6182 by adding DESTDIR support to Makefile.in
[xboard.git] / sounds / woodthunk.wav
2003-10-27 Tim MannThese are the changes I had made in my source tree...