]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6a3e871) | 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)
commita89a47ef9eace045b48217fe0f3e61727ecdc57e
treeb50eb4e201d5fa2a7e53dbade31862682a282487tree | snapshot
parent6a3e871ada1e149307e4612f6a8d3d317d6e861fcommit | diff
  - add build-dep for doc generation: graphviz, texlive-latex-base,
    texlive-base-bin
DEVEL/ocaml-http/debian/changelog diff | blob | history
DEVEL/ocaml-http/debian/control diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.