Mercurial > openid
diff src/ur/openidUser.urs @ 63:089ad1d33e2f
Fix to track a change in Ur/Web's 'table' signature item syntactic sugar
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 06 Nov 2013 18:25:51 -0500 |
parents | a984dc1c8954 |
children |