]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2e60060) | patch
- implemented distcheck target
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Mar 2003 17:58:05 +0000 (17:58 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Mar 2003 17:58:05 +0000 (17:58 +0000)
commit8bf913a678dcc31b84096879e57c0b5bd2584f19
tree52cb5f42ab251bb256037f60567071ec578b7950tree | snapshot
parent2e600606f2fed0d1d7de37de9266faec0ec24085commit | diff
- implemented distcheck target
- bugfix: added some target to .PHONY
helm/http_getter/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.