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