tuned changelogentry;
authorwenzelm
Tue Jul 15 15:59:49 2008 +0200 (2008-07-15)
changeset 276088fd5662ccd97
parent 27607 a21271f74bc7
child 27609 b23c9ad0fe7d
tuned changelogentry;
Admin/Mercurial/isabelle-style.diff
     1.1 --- a/Admin/Mercurial/isabelle-style.diff	Tue Jul 15 15:46:43 2008 +0200
     1.2 +++ b/Admin/Mercurial/isabelle-style.diff	Tue Jul 15 15:59:49 2008 +0200
     1.3 @@ -1,5 +1,15 @@
     1.4  diff -r gitweb/changelogentry.tmpl isabelle/changelogentry.tmpl
     1.5 -12a13,15
     1.6 +2,8c2
     1.7 +< <a class="title" href="{url}rev/#node|short#{sessionvars%urlparameter}"><span class="age">#date|age# ago</span>#desc|strip|firstline|escape#<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
     1.8 +< </div>
     1.9 +< <div class="title_text">
    1.10 +< <div class="log_link">
    1.11 +< <a href="{url}rev/#node|short#{sessionvars%urlparameter}">changeset</a><br/>
    1.12 +< </div>
    1.13 +< <i>#author|obfuscate# [#date|rfc822date#] rev #rev#</i><br/>
    1.14 +---
    1.15 +> <a class="title" href="{url}rev/#node|short#{sessionvars%urlparameter}"><span class="age">#date|age# ago</span>#author|obfuscate# [#date|rfc822date#] rev #rev#<span class="logtags"> {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}</span></a>
    1.16 +12a7,9
    1.17  > <div class="files">
    1.18  > #files#
    1.19  > </div>