diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-08-28 19:32:20 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-08-28 19:32:20 -0400 |
| commit | da1a34ae7065196dd8c459fac33983bbe5a66377 (patch) | |
| tree | 5f2c13709e4d5612c1c86ec614c46d140e37c2dc /src/reduce_local.sml | |
| parent | ca0e7da014bf885d5f2acc887667368475f55520 (diff) | |
Even gentler handling of back-button returns to pages with stale message-passing credentials
Diffstat (limited to 'src/reduce_local.sml')
0 files changed, 0 insertions, 0 deletions