]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c6cb1f5) | patch
don't remove documentation on "make dist" so that documentation will be
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 May 2004 12:53:22 +0000 (12:53 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 24 May 2004 12:53:22 +0000 (12:53 +0000)
commitb4a7a577a04c56a68b6d79d06fdb925ff0bbd331
tree1bfe63fd5e7156ad0c11102eda0dba3fd6be35a8tree | snapshot
parentc6cb1f5a0ab5559e41eba001928e4a5ea595c051commit | diff
don't remove documentation on "make dist" so that documentation will be
part of the generated tarball
helm/DEVEL/ocaml-http/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.