log src/config.sig

age author description
Wed, 02 May 2012 17:17:57 -0400 Edward Z. Yang Add support for -boot flag, which allows in-tree execution of Ur/Web
Thu, 04 Aug 2011 17:06:50 -0400 Adam Chlipala Configure correct C compiler options for Pthreads
Tue, 02 Aug 2011 14:45:19 -0400 Adam Chlipala Remove some GCC-specific identifier choice and documentation
Tue, 02 Aug 2011 13:33:38 -0400 Adam Chlipala Tracking and printing of version numbers (based on a patch by Austin Seipp)