]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1e2673) | patch
* convert comments in .mli interface files to ocamldoc comments
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:27:43 +0000 (09:27 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:27:43 +0000 (09:27 +0000)
commit0d4de726bb5e630793b57db516ac8fe6ddad7848
tree26e32fe0e637512cc2539ed57c2eb686799712aftree | snapshot
parente1e2673eb6bfa39d9e1b7798202f959ff85d2195commit | diff
* convert comments in .mli interface files to ocamldoc comments
* bump debhelper compatibility level and dependency to 5
  - enable generation of ocamldoc api reference (via CDBS)
  - added XS-Vcs-* fields pointing to the svn repository
  - bumped build dependency on ocaml-nox to >= 3.10.0
helm/software/DEVEL/gdome_xslt/debian/changelog diff | blob | history
helm/software/DEVEL/gdome_xslt/debian/compat diff | blob | history
helm/software/DEVEL/gdome_xslt/debian/control diff | blob | history
helm/software/DEVEL/gdome_xslt/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.