summaryrefslogtreecommitdiff
path: root/doc/manual.tex
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-08-26 09:51:38 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2011-08-26 09:51:38 -0400
commita118306d4028d487136aeec92e4c328b1d8f695b (patch)
tree95d988bc0606848ed47de26f244723ad88165f09 /doc/manual.tex
parent51e517f30a3ef9fafa064f3fb5dd98f842b5c4ad (diff)
Gracefully accept browser's refusal to let us set certain AJAX headers
Diffstat (limited to 'doc/manual.tex')
0 files changed, 0 insertions, 0 deletions