]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 810db29) | patch
more elegant handling of all/opt building
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Jan 2007 19:16:49 +0000 (19:16 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 3 Jan 2007 19:16:49 +0000 (19:16 +0000)
commitdc6495561aa302e7193ec235183f858cebbe5979
treeb2ad9b263476b17ed51b4ccd46b3f2e6c11b27aetree | snapshot
parent810db29f760117d933ee1f74328043b8fce43847commit | diff
more elegant handling of all/opt building
DEVEL/ocaml-http/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.