]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a900a71) | patch
use wildcard in install target so that binary objects are installed only
authorStefano Zacchiroli <zack@upsilon.cc>
Tue, 8 Feb 2005 21:43:30 +0000 (21:43 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Tue, 8 Feb 2005 21:43:30 +0000 (21:43 +0000)
commite26e537262dfd73ad3b9aca1138cdf662168d81c
tree4760e697e86a089294333edd21dd12454e90a91btree | snapshot
parenta900a71108e7011bfa6f22d491654c9098c615e0commit | diff
use wildcard in install target so that binary objects are installed only
when built
helm/DEVEL/ocaml-http/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.