log

age author description
Mon, 30 Sep 2013 16:37:37 -0400 Adam Chlipala Detect more SQL uses without 'database' directive
Thu, 26 Sep 2013 16:22:06 -0400 Adam Chlipala Get -root working properly again