This is an automated email from the git hooks/post-receive script. hendrik-guest pushed a commit to branch master in repository hol-light.
commit 129252ee0dc2e95ef4f8c26fef149f85c75147cf Author: Hendrik Tews <hend...@askra.de> Date: Fri Aug 16 11:13:09 2013 +0200 update elc path in hol-light-source.exclude --- debian/changelog | 3 ++- debian/hol-light-source.exclude | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/debian/changelog b/debian/changelog index 551b330..4a5ce7b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -4,8 +4,9 @@ hol-light (20130811-1) unstable; urgency=low * fix vcs fields * refresh patches * delete include-compiler-libs patch (applied upstream) + * update elc file path in hol-light-source.exclude - -- Hendrik Tews <hend...@askra.de> Wed, 14 Aug 2013 22:25:52 +0200 + -- Hendrik Tews <hend...@askra.de> Wed, 14 Aug 2013 22:42:56 +0200 hol-light (20130511-1) unstable; urgency=low diff --git a/debian/hol-light-source.exclude b/debian/hol-light-source.exclude index 1cdb592..8f6106d 100644 --- a/debian/hol-light-source.exclude +++ b/debian/hol-light-source.exclude @@ -9,4 +9,4 @@ ./QUICK_REFERENCE.txt ./README ./VERYQUICK_REFERENCE.txt -./RichterHilbertAxiomGeometry/hol-light-fonts.elc +./RichterHilbertAxiomGeometry/miz3/hol-light-fonts.elc -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.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