comparison src/ur/openid.ur @ 37:e31baf0f275e

Small formatting cleanups
author Adam Chlipala <adam@chlipala.net>
date Sat, 23 Apr 2011 09:53:55 -0400
parents f129ddee75f3
children f6b3fbf10dac
comparison
equal deleted inserted replaced
36:df258dbf4739 37:e31baf0f275e