log tests/vlad4.ur

age author description
Sun, 16 Jan 2011 10:57:59 -0500 Adam Chlipala Fix for handling of some attributes to client-side input widgets, based on a patch from Vladimir Shabanov