# HG changeset patch # User wenzelm # Date 1216211327 -7200 # Node ID edc141a4ecde94d8db4c801d80950b992216114b # Parent 72fe9939a2abf5d4afd4a6beba57cb457d096609 shortlogentry/filelogentry: show shortdate and full description; diff -r 72fe9939a2ab -r edc141a4ecde Admin/Mercurial/isabelle-style.diff --- a/Admin/Mercurial/isabelle-style.diff Wed Jul 16 14:21:57 2008 +0200 +++ b/Admin/Mercurial/isabelle-style.diff Wed Jul 16 14:28:47 2008 +0200 @@ -13,11 +13,15 @@ >
> #files# >
+Only in isabelle: filelog.tmpl~ diff -r gitweb/map isabelle/map -57c57 +56,57c56,57 +< shortlogentry = '#date|age# ago#author|person##desc|strip|firstline|escape# {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}changeset | files' < filelogentry = '#date|age# ago#desc|strip|firstline|escape#file | diff | annotate #rename%filelogrename#' --- -> filelogentry = '#date|age# ago#author|person##desc|strip|firstline|escape#file | diff | annotate #rename%filelogrename#' +> shortlogentry = '#date|age# ago#date|shortdate##author|person##desc|strip|escape# {inbranch%inbranchtag}{branches%branchtag}{tags%tagtag}changeset | files' +> filelogentry = '#date|age# ago#date|shortdate##author|person##desc|strip|escape#file | diff | annotate #rename%filelogrename#' +Only in isabelle: map~ diff -r gitweb/summary.tmpl isabelle/summary.tmpl 33d32 < owner#owner|obfuscate#