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
