diff src/ur/openidUser.urs @ 30:5d6337df5ec7

A silly RPC bug that I'm surprised wasn't caught before now
author Adam Chlipala <adam@chlipala.net>
date Sun, 17 Apr 2011 13:15:10 -0400
parents fcd3a977d77b
children 1be573ac8e2b
line wrap: on
line diff