Admin/Mercurial/isabelle-style.diff

--- a/Admin/Mercurial/isabelle-style.diff	Wed Jul 09 22:25:24 2008 +0200
+++ b/Admin/Mercurial/isabelle-style.diff	Wed Jul 09 22:32:17 2008 +0200
@@ -4,7 +4,9 @@
 > #files#
 > </div>
 diff -r gitweb/summary.tmpl isabelle/summary.tmpl
-49,55d48
+33d32
+< <tr><td>owner</td><td>#owner|obfuscate#</td></tr>
+49,55d47
 < <div><a class="title" href="#">branches</a></div>
 < <table cellspacing="0">
 < {branches%branchentry}