[Pkg-ocaml-maint-commits] [SCM] opam packaging branch, master, updated. upstream/0.9.0+deb1-17-g2f49b0c

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit e2f36af8115df61bb583299cbd506cae046cfad3
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sat Apr 6 12:15:23 2013 +0200

    Add a debian/gbp.conf file

diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 0000000..89c739e
--- /dev/null
+++ b/debian/gbp.conf
@@ -0,0 +1,9 @@
+[DEFAULT]
+pristine-tar = True
+filter-pristine-tar = True
+filter = [
+    "doc/html",
+    "doc/tutorials",
+    "src_ext",
+    "ocp-build"
+    ]

-- 
opam packaging