diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-07-15 18:55:58 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-07-15 18:55:58 -0400 |
| commit | 5f5229381acb24b444f05513b0123ae62a5cb092 (patch) | |
| tree | 12f8f5eac9e735909223542818bb3f9fefc70ef0 /missing | |
| parent | 46b253e9a205802cd4503f2e4753b7a3002326ae (diff) | |
Make 'static' protocol handle unlimited retry
Diffstat (limited to 'missing')
0 files changed, 0 insertions, 0 deletions