# HG changeset patch
# User wenzelm
# Date 1215635537 -7200
# Node ID 6d082d24aa75c322bbe8265d67352e9877a1782f
# Parent  217efbf7d9611cbb9ca7db4b25f466086ad19efe
removed owner;

diff -r 217efbf7d961 -r 6d082d24aa75 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}