]> matita.cs.unibo.it Git - helm.git/commit
fixed Gzip bug in Xml.pp
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Feb 2005 16:15:44 +0000 (16:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 4 Feb 2005 16:15:44 +0000 (16:15 +0000)
commita43d3143686cb9204694a8a5aa337c421883db37
tree95a07724e5241a16434a29244753b101d20e03cd
parent033dc1b4f6af15fc911d2cae8a93c7c48b2feb63
fixed Gzip bug in Xml.pp
helm/ocaml/getter/http_getter_misc.ml
helm/ocaml/xml/xml.ml