log

age author description
Sun, 26 Jun 2011 19:45:21 -0400 Adam Chlipala Workaround for old IE handling of <option> with no 'value' attribute
Fri, 24 Jun 2011 13:50:59 -0400 Adam Chlipala 'noXsrfProtection' .urp directive