comparison src/ur/openid.urs @ 20:2342d9baa0df

New OpenidUser.Make parameter: ready
author Adam Chlipala <adam@chlipala.net>
date Thu, 06 Jan 2011 16:46:09 -0500
parents 35bc4da563dd
children f6b3fbf10dac
comparison
equal deleted inserted replaced
19:5e03668972ea 20:2342d9baa0df