Mercurial > openid
log src/ur/openidUser.urs
age | author | description |
---|---|---|
Sat, 23 Apr 2011 09:53:55 -0400 | Adam Chlipala | Small formatting cleanups |
Thu, 21 Apr 2011 20:06:46 -0430 | Karn Kallio | Merge Adam's upstream changes and update tests. |
Wed, 20 Apr 2011 15:45:27 -0430 | Karn Kallio | Generalize the formatting options a bit. |
Thu, 21 Apr 2011 13:24:55 -0400 | Adam Chlipala | Change some field names and update utest |