]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c82a09f) | patch
- added mt and non_mt dirs to dist stuff
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 17:20:17 +0000 (17:20 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 1 Dec 2002 17:20:17 +0000 (17:20 +0000)
commite4854e5669f352c799f62f93fc034ed2ca07f58c
tree6ceeff2e744d464f2bab749406aaa3e8c0dcc7edtree | snapshot
parentc82a09fc52155246f8eaba28e9e6f32768505f76commit | diff
- added mt and non_mt dirs to dist stuff
- bugfix: added some forgotten targets to .PHONY
helm/DEVEL/ocaml-http/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.