Mercurial > urweb
log src/settings.sml
age | author | description |
---|---|---|
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 |
age | author | description |
---|---|---|
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 |