This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository cmdliner.
commit cc93233256c66f190bc2590ab67f104687952667 Merge: 5d676f6 f035d5a Author: Stephane Glondu <st...@glondu.net> Date: Sat Jun 27 19:45:10 2015 +0200 Merge tag 'upstream/0.9.7' Upstream version 0.9.7 .ocp-indent | 1 + CHANGES.md | 47 +- README.md | 2 +- doc/Cmdliner.Arg.html | 126 +++-- doc/Cmdliner.Manpage.html | 8 +- doc/Cmdliner.Term.html | 68 ++- doc/Cmdliner.html | 318 +++++------ doc/index_types.html | 5 + doc/index_values.html | 79 ++- doc/type_Cmdliner.Arg.html | 3 + doc/type_Cmdliner.Term.html | 15 +- doc/type_Cmdliner.html | 18 +- opam | 16 +- pkg/META | 2 +- pkg/build | 31 -- pkg/build.ml | 17 + pkg/config | 3 - pkg/config.ml | 11 + pkg/git.ml | 14 + pkg/pkg-builder | 108 ---- pkg/pkg-git | 16 - pkg/pkg-varsubsts | 24 - pkg/topkg-ext.ml | 272 ++++++++++ pkg/topkg.ml | 303 +++++++++++ src/cmdliner.ml | 1242 ++++++++++++++++++++++++------------------- src/cmdliner.mli | 602 +++++++++++---------- test/chorus.ml | 15 +- test/cp_ex.ml | 42 +- test/darcs_ex.ml | 94 ++-- test/revolt.ml | 2 +- test/rm_ex.ml | 20 +- test/tail_ex.ml | 44 +- 32 files changed, 2161 insertions(+), 1407 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git _______________________________________________ Pkg-ocaml-maint-commits mailing list Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits