diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-11-08 12:12:50 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-11-08 12:12:50 -0500 |
| commit | 7d6eed032a2b129056ff264a91076cec68035a34 (patch) | |
| tree | 3e0286912dbc8c2cd57c2f90fa095b82429434bc /src/disjoint.sig | |
| parent | dbf4d428936189bba18ffb1d622029c79da39414 (diff) | |
Handle EError returning a function; handle multiple cookies in one input header
Diffstat (limited to 'src/disjoint.sig')
0 files changed, 0 insertions, 0 deletions