]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 581af8b) | patch
- reverted to only one quotation level in xmluri, libxml2 is now fixed
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 12:38:06 +0000 (12:38 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 12:38:06 +0000 (12:38 +0000)
commitf54d510ac3e810db58b74454223159717e679b40
tree54f918be9e6bde2ab5ae701d3ee7e6385d35632atree | snapshot
parent581af8bd6c739eecaf9154af443c3a6802ce4a5ccommit | diff
- reverted to only one quotation level in xmluri, libxml2 is now fixed
helm/style/links_library.xsl diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.