[pkg-opensc-commit] [engine-pkcs11] 01/06: debian/source/options, debian/source/patch-header: Remove obsolete source control files.

[Eric Dorland]

This is an automated email from the git hooks/post-receive script.

eric pushed a commit to branch master
in repository engine-pkcs11.

commit 549f49611beb47f99cb25e1009e712ca0250a3b7
Author: Eric Dorland <eric at debian.org>
Date:   Sun May 10 14:39:41 2015 -0400

    debian/source/options, debian/source/patch-header: Remove obsolete source control files.
---
 debian/changelog           | 7 +++++++
 debian/source/options      | 5 -----
 debian/source/patch-header | 1 -
 3 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 4f6099f..50c5650 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+engine-pkcs11 (0.1.8-5) unstable; urgency=medium
+
+  * debian/source/options, debian/source/patch-header: Remove obsolete
+    source control files.
+
+ --
+
 engine-pkcs11 (0.1.8-4) unstable; urgency=medium
 
   * debian/control: Standards-Version to 3.9.6.
diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index 1b1c2f2..0000000
--- a/debian/source/options
+++ /dev/null
@@ -1,5 +0,0 @@
-# let dpkg-source create a debian.tar.bz2 with maximal compression
-compression = "bzip2"
-compression-level = 9
-# use debian/patches/debian-changes as automatic patch
-single-debian-patch
diff --git a/debian/source/patch-header b/debian/source/patch-header
deleted file mode 100644
index ee8d3e0..0000000
--- a/debian/source/patch-header
+++ /dev/null
@@ -1 +0,0 @@
-Please use the git repo for development.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-opensc/engine-pkcs11.git