X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=results2html;h=b330c871abbdae8a74df08a6fa36cb5d52eb6c3b;hb=7036cc841d028475016f848ef49a2e7d7fc04edb;hp=988b1e26724566a60c810a330d7be6ac93ba86c2;hpb=de529ec0679df55184c2959eb5c50c4f86867871;p=pspp diff --git a/results2html b/results2html index 988b1e2672..b330c871ab 100755 --- a/results2html +++ b/results2html @@ -151,6 +151,7 @@ open (INDEX, '>','index.html'); print INDEX < +