Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/isatest-stats
changeset 20619 02e9b54b18fd
parent 20618 3f763be47c2f
child 20632 40abbc7c86df 
--- 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 "<br><img src="$PLATFORM/$SESSION.png">" >> "stats/$PLATFORM.html"
+  echo "<br><img src="$PLATFORM/$SESSION.png"><br>" >> "stats/$PLATFORM.html"
 done
 
 echo "</body>" >> "stats/$PLATFORM.html"
isabelle