Mercurial > openid
log
age | author | description |
---|---|---|
Sun, 24 Jul 2011 10:51:35 -0400 | Adam Chlipala | Merge |
Sun, 24 Jul 2011 10:23:50 -0400 | Adam Chlipala | renew |
Mon, 04 Jul 2011 17:29:13 +0100 | Robin Green | Merge |
Mon, 04 Jul 2011 14:08:00 +0100 | Robin Green | Make logout clear the session on the server |