[Pkg-ocaml-maint-commits] [cmdliner] 02/05: Merge tag 'upstream/0.9.4'
Mehdi Dogguy
mehdi at moszumanska.debian.org
Thu Mar 27 21:32:19 UTC 2014
This is an automated email from the git hooks/post-receive script.
mehdi pushed a commit to branch master
in repository cmdliner.
commit 6969ff69f9e1c315f573cb99efac1dc9180c287d
Merge: 2590fcd 1f707a3
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Mon Mar 24 21:50:59 2014 +0100
Merge tag 'upstream/0.9.4'
Upstream version 0.9.4
CHANGES => CHANGES.md | 15 +-
README | 62 -
README.md | 55 +
TODO.md | 1 +
_oasis | 90 -
_tags | 34 +-
doc/Cmdliner.Arg.html | 123 +-
doc/Cmdliner.Manpage.html | 15 +-
doc/Cmdliner.Term.html | 45 +-
doc/Cmdliner.html | 8 +-
doc/style.css | 11 +-
myocamlbuild.ml | 491 ----
opam | 14 +
{src => pkg}/META | 8 +-
pkg/build | 31 +
pkg/config | 3 +
pkg/pkg-builder | 108 +
pkg/pkg-git | 16 +
pkg/pkg-varsubsts | 24 +
setup.ml | 5948 ---------------------------------------------
src/cmdliner.ml | 17 +-
src/cmdliner.mli | 8 +-
src/cmdliner.mllib | 4 -
23 files changed, 423 insertions(+), 6708 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/cmdliner.git
More information about the Pkg-ocaml-maint-commits
mailing list