Mercurial > openid
diff 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 |
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Wed, 11 Dec 2013 17:11:32 -0500 |
parents | f6b3fbf10dac |
children |