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