]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4491182) | patch
- added targets relative to ocamldoc doc generation
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Nov 2002 10:47:44 +0000 (10:47 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 22 Nov 2002 10:47:44 +0000 (10:47 +0000)
commit9891e5853b5c05f4b60bf95b828d8f091fb7732c
tree71b416804ef7dc88def1e04b6cf65b548969c90atree | snapshot
parent449118217a20e46fe3e5dded10ef8fa25c235b4fcommit | diff
- added targets relative to ocamldoc doc generation
helm/DEVEL/ocaml-http/Makefile diff | blob | history
helm/DEVEL/ocaml-http/Makefile.defs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.