diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-26 14:51:52 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-26 14:51:52 -0500 |
| commit | 879bb7d5c760d277348a4ab9f799143013680f08 (patch) | |
| tree | 5edaf3ed8c24ce5c4fa846fd146a45e0524fe154 /demo/cookie.urs | |
| parent | c767386f0b9d6af9ac3e306f73ea0608cb521c7b (diff) | |
Fix environments for repeat visits for exp reduction
Diffstat (limited to 'demo/cookie.urs')
0 files changed, 0 insertions, 0 deletions