From: Ben Pfaff Date: Sun, 17 Sep 2017 17:08:21 +0000 (-0700) Subject: results2html: Declare character encoding for index.html. X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp;a=commitdiff_plain;h=cd99453eeaf9706b063f01a8648873d338db0932 results2html: Declare character encoding for index.html. --- diff --git a/results2html b/results2html index 988b1e2672..b330c871ab 100755 --- a/results2html +++ b/results2html @@ -151,6 +151,7 @@ open (INDEX, '>','index.html'); print INDEX < +