]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 985d664) | patch
mmlextension.xsl : removed extra '>' at the end of an element
authorLuca Padovani <luca.padovani@unito.it>
Wed, 31 Jan 2001 14:18:11 +0000 (14:18 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 31 Jan 2001 14:18:11 +0000 (14:18 +0000)
commit32ca7ef634a861ddca8e63491d8fada852d6cabf
tree39dbeaed315c45ea809daf19bc68f86d1c9f9b56tree | snapshot
parent985d664bf27762902b93a2158e755aeabe6ee27fcommit | diff
mmlextension.xsl : removed extra '>' at the end of an element
helm/style/mmlextension.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.