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

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