# HG changeset patch # User wenzelm # Date 1158700341 -7200 # Node ID 02e9b54b18fdbd8181fb2ab38939dc4b66658bcf # Parent 3f763be47c2f5a0ed29fce1f9d317970aec13d3f tuned; diff -r 3f763be47c2f -r 02e9b54b18fd Admin/isatest-stats --- a/Admin/isatest-stats Tue Sep 19 23:01:52 2006 +0200 +++ b/Admin/isatest-stats Tue Sep 19 23:12:21 2006 +0200 @@ -40,7 +40,7 @@ for SESSION in $SESSIONS do - echo "
" >> "stats/$PLATFORM.html" + echo "

" >> "stats/$PLATFORM.html" done echo "" >> "stats/$PLATFORM.html"