[Pkg-ocaml-maint-commits] [SCM] cduce packaging branch, master, updated. debian/0.5.3-3-19-g4c79f00

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 9ed498d15ce2d5d450397d58b4b035b910b02785
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon Jul 11 21:21:37 2011 +0200

    Add d/s/local-options and .gitignore

diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..845ca06
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+.pc
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

-- 
cduce packaging