]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0373aa1) | patch
- added deb target
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:44:27 +0000 (08:44 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 4 Dec 2002 08:44:27 +0000 (08:44 +0000)
commitad41483ccb01f7e3f42d80e8227d9c9ae3319fde
treeb46622476155abe93fd416a7934e38d697909235tree | snapshot
parent0373aa12449568c5aca2027d8e8773ea0c0fa4a5commit | diff
- added deb target
helm/DEVEL/ocaml-http/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.