]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b50e234) | patch
bugfix: install also _mt objects
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 14:05:00 +0000 (14:05 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 2 Dec 2002 14:05:00 +0000 (14:05 +0000)
commitf88c96d9704ad928ec985b1394f8429621d06bd8
treee0c04dabe3eb4326b4d355f7075985b1d3f0d225tree | snapshot
parentb50e234f466412114c88b3d10b315a75c52b06b2commit | diff
bugfix: install also _mt objects
helm/DEVEL/ocaml-http/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.