Remove single-debian-patch local options

If I ever have to carry any patches, I'll use gbp pq, so remove
these settings.

diff --git a/debian/source/local-options b/debian/source/local-options
deleted file mode 100644 (file)
index 7423a2d..0000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1 +0,0 @@
-single-debian-patch

diff --git a/debian/source/local-patch-header b/debian/source/local-patch-header
deleted file mode 100644 (file)
index fe85c01..0000000
--- a/debian/source/local-patch-header
+++ /dev/null
@@ -1,17 +0,0 @@
-Subject: Collected Debian patches for krb5-strength
-Author: Russ Allbery <rra@debian.org>
-
-Since I am also upstream for this package, there will normally not be any
-patches to apply to the upstream source.  However, occasionally I'll pull
-up specific upstream commits prior to making an upstream release.  When
-this happens, this patch will collect all of those modifications.
-
-I use Git to maintain both the upstream source and the Debian packages,
-and generating individual patches rather than using git cherry-pick takes
-extra work for no gain.  Since I'm also upstream, there's no need to
-separate the patches for later upstream submission.  Hence, I take this
-approach with a unified patch when it's necessary.
-
-For full commit history and separated commits, see the upstream Git
-repsitory.
-