results2html: Declare character encoding for index.html.
authorBen Pfaff <blp@cs.stanford.edu>
Sun, 17 Sep 2017 17:08:21 +0000 (10:08 -0700)
committerBen Pfaff <blp@cs.stanford.edu>
Sun, 17 Sep 2017 17:08:21 +0000 (10:08 -0700)
commitcd99453eeaf9706b063f01a8648873d338db0932
tree4288af0108770e99a228c6927b5e8a657de18add
parentde529ec0679df55184c2959eb5c50c4f86867871
results2html: Declare character encoding for index.html.
results2html