Mercurial > openid
diff src/ur/openidUser.urs @ 37:e31baf0f275e
Small formatting cleanups
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 23 Apr 2011 09:53:55 -0400 |
parents | df258dbf4739 |
children | 3f475c6fb168 328a429dfedb |
line wrap: on
line diff
--- a/src/ur/openidUser.urs Thu Apr 21 20:06:46 2011 -0430 +++ b/src/ur/openidUser.urs Sat Apr 23 09:53:55 2011 -0400 @@ -22,7 +22,7 @@ (* Format the signup link *) val formatLogon : ({User : string} -> transaction page) -> xbody - (* Format the login form *) + (* Format the login form *) end (* Some reasonable default gui control formats for programmers in a hurry. *)