Mercurial > openid
comparison src/ur/openid.urs @ 64:81632203928f
Fix 'hidden' constraint
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 11 Dec 2013 17:11:32 -0500 |
parents | f6b3fbf10dac |
children |
comparison
equal
deleted
inserted
replaced
63:089ad1d33e2f | 64:81632203928f |
---|