comparison 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
comparison
equal deleted inserted replaced
36:df258dbf4739 37:e31baf0f275e