]> matita.cs.unibo.it Git - helm.git/commit
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
tree0728e248fa2c1a708abaaef359869a28e07f15a0
parentd8d87f227a8abb5cb324c6e8c6bf66ee83ead553
more elegant handling of all/opt building
helm/software/DEVEL/ocaml-http/debian/rules