Commit 6d72bdca01d3eb7a740e0a50a7e2e9fc1a9d0ae4

Nick Mathewson 2014-05-30T13:53:27

Make http-server.c output into good html5