log config.h.in

age author description
Thu, 04 Aug 2011 17:06:50 -0400 Adam Chlipala Configure correct C compiler options for Pthreads
Sun, 29 May 2011 13:31:53 -0400 Adam Chlipala Configuration detects proper header files for database dev libraries
Thu, 18 Nov 2010 14:22:04 -0500 Adam Chlipala Karn Kallio's patch for static mhash linking
Sat, 29 May 2010 08:05:31 -0400 Adam Chlipala Include config.h.in in distribution