]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0581c10) | patch
- add build-dep for doc generation: graphviz, texlive-latex-base,
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jul 2007 14:12:20 +0000 (14:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 16 Jul 2007 14:12:20 +0000 (14:12 +0000)
commit4090fd92e6d803e6ee291ea526b2e281463d3072
tree558ee0a746b657bfba17e6c08c34f6c8d3ad141ftree | snapshot
parent0581c10d588570fe738e4890b8a1d5f77eb40e60commit | diff
  - add build-dep for doc generation: graphviz, texlive-latex-base,
    texlive-base-bin
helm/software/DEVEL/ocaml-http/debian/changelog diff | blob | history
helm/software/DEVEL/ocaml-http/debian/control diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.