diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2015-02-05 11:09:25 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2015-02-05 11:09:25 -0500 |
| commit | e6cde67688b37f4246bed7938dee06a1e9a7ab20 (patch) | |
| tree | b7492fb8c8110e053e9ae179a3579d1707627a63 /demo/sum.urs | |
| parent | 9d277854b9a4fb3ac30bea989c10d7f550e960b4 (diff) | |
Treat getHeader and getenv as vectors for reading request data supplied implicitly by browsers
Diffstat (limited to 'demo/sum.urs')
0 files changed, 0 insertions, 0 deletions