The following commit has been merged in the master branch:
commit 7451b89730525d5345f5fcb93eac2bf591180bc5
Author: Stephane Glondu <[email protected]>
Date: Sun Feb 1 00:47:54 2009 +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
--
coq packaging
_______________________________________________
Pkg-ocaml-maint-commits mailing list
[email protected]
http://lists.alioth.debian.org/mailman/listinfo/pkg-ocaml-maint-commits
