[Pkg-ocaml-maint-commits] [SCM] cryptgps packaging branch, master, updated. debian/0.2.1-7-4-g048f15a

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 882c10b5c476b8a123780c3287499753b339caba
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Jul 25 21:26:21 2013 +0200

    Switch source package format to 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)
diff --git a/debian/source/local-options b/debian/source/local-options
new file mode 100644
index 0000000..c4cf480
--- /dev/null
+++ b/debian/source/local-options
@@ -0,0 +1,2 @@
+abort-on-upstream-changes
+unapply-patches

-- 
cryptgps packaging