log

age author description
Fri, 26 Aug 2011 09:51:38 -0400 Adam Chlipala Gracefully accept browser's refusal to let us set certain AJAX headers