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