]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0dc0196) | patch
- bugfix: typo in XSL patching
authorStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 15:48:36 +0000 (15:48 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Thu, 26 Dec 2002 15:48:36 +0000 (15:48 +0000)
commitbaf3f42c5e7ac0f89ac57d0c93ecfb377dda1f30
tree820cb89f129107420f61923f897266e3a03af572tree | snapshot
parent0dc01969c5bdf943e0b84e134b320d1fd39f5e8fcommit | diff
- bugfix: typo in XSL patching
- bugfix: fixed parameters passed to 'wget' command
- moved some comment from .ml to .mli
helm/http_getter/http_getter_common.ml diff | blob | history
helm/http_getter/http_getter_common.mli diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.