[Pkg-ocaml-maint-commits] [hevea] 05/13: Merge tag 'upstream/2.13'

[Ralf Treinen]

This is an automated email from the git hooks/post-receive script.

treinen pushed a commit to branch master
in repository hevea.

commit 4c36bb9e04bbb6ac2bbef3a02bc09ff17a79a20a
Merge: cac2cfd 3c48e0a
Author: Ralf Treinen <treinen at free.fr>
Date:   Fri Mar 28 08:19:53 2014 +0100

    Merge tag 'upstream/2.13'
    
    Upstream version 2.13

 CHANGES       |  2 ++
 Makefile      |  5 +----
 README        |  2 +-
 foot.ml       |  4 ++--
 foot.mli      |  3 ++-
 htmllex.mll   |  1 -
 htmltext.ml   |  4 ++--
 iso-symb.hva  |  2 +-
 latexscan.mll | 16 +++++++++-------
 outUnicode.ml | 10 +++++-----
 package.ml    |  6 +++---
 saver.mll     |  8 ++++++--
 version.ml    |  4 ++--
 13 files changed, 36 insertions(+), 31 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hevea.git