[Pkg-ocaml-maint-commits] [SCM] frama-c packaging branch, master, updated. debian/20100401+boron+dfsg-4-10-gf188023
Mehdi Dogguy
mehdi at debian.org
Sun Apr 24 16:21:19 UTC 2011
The following commit has been merged in the master branch:
commit 060d85847bc8d3287d88900317214b8538b5e6ca
Author: Mehdi Dogguy <mehdi at debian.org>
Date: Fri Apr 15 21:44:12 2011 +0200
No need to filter out src/{impact,security} from tarball
diff --git a/debian/gbp.conf b/debian/gbp.conf
index c8c1dca..1d83450 100644
--- a/debian/gbp.conf
+++ b/debian/gbp.conf
@@ -5,8 +5,6 @@ filter = [
"ocamlgraph",
"ocamlgraph.tar.gz",
"doc/manuals",
- "src/impact",
- "src/security",
"cil/doc",
"tests/test/adpcm.c"
]
--
frama-c packaging
More information about the Pkg-ocaml-maint-commits
mailing list