[Pkg-ocaml-maint-commits] [SCM] coq-doc packaging branch, master, updated. debian/8.1-3-27-gabb5c8e

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 7220b5947769812a526a298a03d97fce5727e0ef
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jan 7 10:50:39 2010 +0100

    Switch to source format 3.0 (quilt)

diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)

-- 
coq-doc packaging