summaryrefslogtreecommitdiff
path: root/tests/radio.urs
Commit message (Expand)AuthorAge
* Change <radio> to yield [option string]Gravatar Adam Chlipala2012-03-10