Mercurial > openid
diff src/ur/openidFfi.urs @ 37:e31baf0f275e
Small formatting cleanups
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 23 Apr 2011 09:53:55 -0400 |
parents | f129ddee75f3 |
children | 00c8f43be8b7 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 23 Apr 2011 09:53:55 -0400 |
parents | f129ddee75f3 |
children | 00c8f43be8b7 |