log src/ur/openid.urs

age author description
Sun, 26 Dec 2010 12:04:08 -0500 Adam Chlipala Ur/Web module initializes libcurl