This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository cmdliner.
commit 12141d64229fb7967a352e358c0698bd7a44e067 Merge: 17387d3 0f93bb0 Author: Hendrik Tews <hend...@askra.de> Date: Mon Aug 7 20:54:46 2017 +0200 Merge tag 'upstream/1.0.2' Upstream version 1.0.2 .merlin | 3 - .ocp-indent | 1 - CHANGES.md | 135 +++- LICENSE.md | 13 + Makefile | 69 ++ README.md | 24 +- TODO.md | 1 - _tags | 7 +- doc/Cmdliner.Arg.html | 390 ---------- doc/Cmdliner.Manpage.html | 80 -- doc/Cmdliner.Term.html | 216 ------ doc/Cmdliner.html | 797 ------------------- doc/index.html | 27 - doc/index_attributes.html | 18 - doc/index_class_types.html | 18 - doc/index_classes.html | 18 - doc/index_exceptions.html | 18 - doc/index_extensions.html | 18 - doc/index_methods.html | 18 - doc/index_module_types.html | 18 - doc/index_modules.html | 42 - doc/index_types.html | 90 --- doc/index_values.html | 353 --------- doc/style.css | 109 --- doc/type_Cmdliner.Arg.html | 98 --- doc/type_Cmdliner.Manpage.html | 24 - doc/type_Cmdliner.Term.html | 56 -- doc/type_Cmdliner.html | 175 ----- opam | 21 +- pkg/META | 8 +- pkg/build.ml | 17 - pkg/config.ml | 11 - pkg/git.ml | 14 - pkg/pkg.ml | 29 + pkg/topkg-ext.ml | 272 ------- pkg/topkg.ml | 303 -------- src/cmdliner.ml | 1653 ++++++---------------------------------- src/cmdliner.mli | 1314 ++++++++++++++++++++------------ src/cmdliner.mllib | 11 + src/cmdliner_arg.ml | 358 +++++++++ src/cmdliner_arg.mli | 113 +++ src/cmdliner_base.ml | 302 ++++++++ src/cmdliner_base.mli | 74 ++ src/cmdliner_cline.ml | 194 +++++ src/cmdliner_cline.mli | 34 + src/cmdliner_docgen.ml | 352 +++++++++ src/cmdliner_docgen.mli | 30 + src/cmdliner_info.ml | 233 ++++++ src/cmdliner_info.mli | 140 ++++ src/cmdliner_manpage.ml | 504 ++++++++++++ src/cmdliner_manpage.mli | 100 +++ src/cmdliner_msg.ml | 115 +++ src/cmdliner_msg.mli | 54 ++ src/cmdliner_suggest.ml | 54 ++ src/cmdliner_suggest.mli | 25 + src/cmdliner_term.ml | 43 ++ src/cmdliner_term.mli | 42 + src/cmdliner_trie.ml | 97 +++ src/cmdliner_trie.mli | 35 + test/chorus.ml | 11 +- test/cp_ex.ml | 22 +- test/darcs_ex.ml | 43 +- test/man_test.ml | 73 -- test/revolt.ml | 5 +- test/rm_ex.ml | 12 +- test/tail_ex.ml | 25 +- test/test_man.ml | 100 +++ test/test_man_utf8.ml | 11 + test/test_opt_req.ml | 13 + test/test_pos.ml | 13 + test/test_pos_all.ml | 11 + test/test_pos_left.ml | 11 + test/test_pos_req.ml | 15 + test/test_pos_rev.ml | 14 + test/test_term_dups.ml | 19 + test/tests.itarget | 7 - 76 files changed, 4547 insertions(+), 5246 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