[Pkg-ocaml-maint-commits] [pxp] 02/05: Updated version 1.2.9 from 'upstream/1.2.9'
Stéphane Glondu
glondu at moszumanska.debian.org
Sat Jul 29 06:30:36 UTC 2017
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository pxp.
commit f4feef86ef60f0702011ab6fe1b1883e9545e168
Merge: fce2610 e2dc71a
Author: Stephane Glondu <steph at glondu.net>
Date: Sat Jul 29 07:57:50 2017 +0200
Updated version 1.2.9 from 'upstream/1.2.9'
with Debian dir 86c05938ce38507d4527f3faefd6939eb995e890
.gitignore | 1 -
README | 2 +
_oasis | 2 +-
configure | 2 +-
doc/README | 2 +
gensrc/pxp-wlex-utf8/gen_done | 0
setup.ml | 7855 +++++++++++++++++++++++++-------------
src/pxp-engine/pxp_core_types.ml | 2 +-
src/pxp-engine/pxp_document.ml | 2 -
9 files changed, 5178 insertions(+), 2690 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/pxp.git
More information about the Pkg-ocaml-maint-commits
mailing list