]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d8d87f2) | 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)
commitd7fee00de3681766de31d8aeb9adaf5f32c59997
tree0728e248fa2c1a708abaaef359869a28e07f15a0tree | snapshot
parentd8d87f227a8abb5cb324c6e8c6bf66ee83ead553commit | diff
more elegant handling of all/opt building
helm/software/DEVEL/ocaml-http/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.