# 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 "