[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20081201.dfsg-3-21-geaf3830

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 972714882948146e05a3039e8dcc9f832f775c2b
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Aug 28 09:07:26 2009 +0200

    Update README.Debian

diff --git a/debian/README.Debian b/debian/README.Debian
index e2d56bb..50219bb 100644
--- a/debian/README.Debian
+++ b/debian/README.Debian
@@ -7,6 +7,7 @@ Several files and directories are deleted from upstream's tarball:
 - doc/manuals/: Documentation without sources.
 - cil/doc/: Documentation without sources.
 - src/impact and src/security : Proprietary code.
+- tests/test/adpcm.c: File without license nor copyright
 
 The shell script “purify_tarball” is used to make a dfsg-compliant tarball.
 

-- 
frama-c packaging