log src/cjr_print.sml

age author description
Thu, 10 Oct 2013 18:31:10 -0400 Adam Chlipala Remove uw_cutErrorLocation() hijinks
Mon, 30 Sep 2013 16:37:37 -0400 Adam Chlipala Detect more SQL uses without 'database' directive
Wed, 12 Sep 2012 19:49:02 +0400 Vladimir Shabanov Fixed HTTP date format and added Cache-Control to app.js