summaryrefslogtreecommitdiff
path: root/include/urweb
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2013-12-17 20:12:33 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2013-12-17 20:12:33 -0500
commitb04455ed08e613b7a5b0491894ba688508546c13 (patch)
tree9d6ffc099b6ea7d9f7a8d0ec443b7ce22f709242 /include/urweb
parent3fbffffb0b03b980de3ae2e579fc41c3723a5b46 (diff)
Fix compilation of apps that don't use database; fix HTTP pipelining
Diffstat (limited to 'include/urweb')
0 files changed, 0 insertions, 0 deletions