[Pkg-ocaml-maint-commits] [SCM] hol-light packaging branch, master, updated. upstream/20120312-2-g7b446a1

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7b446a1d0b95ab28f56f445cf2a31369c31289f2
Author: Stephane Glondu <steph at glondu.net>
Date:   Fri Mar 16 17:04:50 2012 +0100

    Add debian/gbp.conf

diff --git a/debian/gbp.conf b/debian/gbp.conf
new file mode 100644
index 0000000..cec628c
--- /dev/null
+++ b/debian/gbp.conf
@@ -0,0 +1,2 @@
+[DEFAULT]
+pristine-tar = True

-- 
hol-light packaging