log src/settings.sml

age author description
Fri, 24 Jun 2011 13:50:59 -0400 Adam Chlipala 'noXsrfProtection' .urp directive
Wed, 01 Jun 2011 07:23:27 -0400 Adam Chlipala Handle 'prefix' directives for HTTPS
Sun, 29 May 2011 14:29:26 -0400 Adam Chlipala getHeader and setHeader