]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bce0be6) | patch
- added distclean support
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 14:19:49 +0000 (14:19 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 19 Feb 2003 14:19:49 +0000 (14:19 +0000)
commit5175b0757d9f95c22fe145110aba428d49cf74df
treefa879741a7d4d8a7bff127b91af78080f84b9828tree | snapshot
parentbce0be669a00aadfdef360abbed1fa5be287f3a0commit | diff
- added distclean support
- added start/stop target to start/stop broker _and_ tutors
- added recursive invocation on meta and tutors dirs
helm/hbugs/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.