]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d0a858) | patch
.body removed from bread crumb trail
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 May 2004 14:27:41 +0000 (14:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 28 May 2004 14:27:41 +0000 (14:27 +0000)
commitbd9be8f928846221194a42b65628f4cfaa89668b
tree8e49e288cd628e8657773740cb8dcf4b157190e7tree | snapshot
parent3d0a8583b20b11e0d184664fb667c3d17da17125commit | diff
.body removed from bread crumb trail
helm/on-line/xslt/toplevel_header.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.