# HG changeset patch # User krauss # Date 1272578143 -7200 # Node ID 8da6846b87d9b49ed24f96fac0d9e3389ad504f2 # Parent 0e7fc5bf38de809757fb8dbf142d1bec0586e4c0 hgweb style: show author in filelog; full description in annotate hover diff -r 0e7fc5bf38de -r 8da6846b87d9 Admin/Mercurial/isabelle-style.diff --- a/Admin/Mercurial/isabelle-style.diff Thu Apr 29 22:56:32 2010 +0200 +++ b/Admin/Mercurial/isabelle-style.diff Thu Apr 29 23:55:43 2010 +0200 @@ -23,7 +23,16 @@ diff -u gitweb/map isabelle/map --- gitweb/map 2010-02-01 16:34:34.000000000 +0100 -+++ isabelle/map 2010-03-03 15:13:25.000000000 +0100 ++++ isabelle/map 2010-04-29 23:43:54.000000000 +0200 +@@ -78,7 +78,7 @@ +
{linenumber}
{line|escape}