summaryrefslogtreecommitdiff
path: root/debian/source/options
diff options
context:
space:
mode:
authorRuss Allbery <rra@stanford.edu>2013-03-27 15:34:47 -0700
committerRuss Allbery <rra@stanford.edu>2013-03-27 15:34:47 -0700
commit4e5a7ab9957ab77196fd72d06607942ea34d36a5 (patch)
treecebfed83c77fd6c039db07e65fe09b9b6460a5cc /debian/source/options
parent53c291275e479ffe33f012ce0debb0ecd32f693a (diff)
Move single-debian-patch to local-options
* Move single-debian-patch to local-options and patch-header to local-patch-header so that they only apply to the packages I build and NMUs get regular version-numbered patches. Change-Id: I8c0fe6bd544fafca774feebde7664b8cf975cfeb
Diffstat (limited to 'debian/source/options')
-rw-r--r--debian/source/options1
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/source/options b/debian/source/options
deleted file mode 100644
index 7423a2d..0000000
--- a/debian/source/options
+++ /dev/null
@@ -1 +0,0 @@
-single-debian-patch