[Pkg-ocaml-maint-commits] [camlp5] 02/04: Merge tag 'upstream/6.11'
Stéphane Glondu
glondu at alioth.debian.org
Fri Nov 8 16:16:20 UTC 2013
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository camlp5.
commit 00f196a8cf2f79ca2cc7da2b2d6be7fd67070bf8
Merge: 5787d46 c708dd3
Author: Stephane Glondu <steph at glondu.net>
Date: Fri Nov 8 17:09:20 2013 +0100
Merge tag 'upstream/6.11'
Upstream version 6.11
CHANGES | 12 ++++++++++++
README | 2 +-
etc/pa_lefteval.ml | 4 ++--
etc/pa_o.ml | 14 +++++++-------
etc/pa_scheme.ml | 6 +++---
etc/pa_schemer.ml | 4 ++--
etc/pa_sml.ml | 4 ++--
etc/pr_depend.ml | 4 ++--
etc/pr_o.ml | 6 +++---
etc/pr_r.ml | 6 +++---
etc/pr_scheme.ml | 6 +++---
lib/plexer.ml | 10 ++--------
main/mLast.mli | 3 ++-
main/pcaml.ml | 4 ++--
meta/pa_r.ml | 10 +++++-----
meta/q_MLast.ml | 6 +++---
ocaml_src/lib/plexer.ml | 32 +++++++++++++++-----------------
ocaml_src/main/mLast.mli | 1 +
ocaml_src/main/pcaml.ml | 2 +-
ocaml_src/meta/pa_r.ml | 9 +++++----
ocaml_src/meta/q_MLast.ml | 32 ++++++++------------------------
ocaml_stuff/4.01.0/utils/warnings.mli | 1 +
top/rprint.ml | 4 ++--
23 files changed, 87 insertions(+), 95 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/camlp5.git
More information about the Pkg-ocaml-maint-commits
mailing list