log

age author description
Thu, 06 Jan 2011 09:14:06 -0500 Adam Chlipala Detect missing 'database' directive; don't compile garbage C files