Commit 203fd2e6c72984711e8904557046aca0c8ee920c

LRN 2009-08-07T21:47:25

Allow to select the threading system on Windows * configure.in: changes to enable either pthreads or win32-threads