]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa5fbd4) | patch
indent="yes" in xsl:output removed for performance increase.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Nov 2001 09:31:33 +0000 (09:31 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 9 Nov 2001 09:31:33 +0000 (09:31 +0000)
commit737615e15de79ef27c381c5b2bd65aedbc115e3f
treeb1323d0e5525fb5c0ccfa96375e9f9a43c959e41tree | snapshot
parentaa5fbd45fd757d44f9a0ea4d2c6b8b24d0dbee9acommit | diff
indent="yes" in xsl:output removed for performance increase.
helm/style/genmmlid.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.