diff options
author | Russ Allbery <rra@stanford.edu> | 2012-06-19 17:28:31 -0700 |
---|---|---|
committer | Russ Allbery <rra@stanford.edu> | 2012-06-19 17:28:31 -0700 |
commit | dc0e3727f381bee858dd90956b672aac8bdc2a06 (patch) | |
tree | fd7dc1b1b6e053c071c4e63e7ff686a7afc310a4 /debian/source | |
parent | 302a4e5970b119b5c71400b68f05177e44553fbc (diff) |
Make single-debian-patch a local option
* 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: Ibc353d422e4ce0986d25ecd8712fb076c4a46071
Diffstat (limited to 'debian/source')
-rw-r--r-- | debian/source/local-options (renamed from debian/source/options) | 0 | ||||
-rw-r--r-- | debian/source/local-patch-header (renamed from debian/source/patch-header) | 0 |
2 files changed, 0 insertions, 0 deletions
diff --git a/debian/source/options b/debian/source/local-options index 7423a2d..7423a2d 100644 --- a/debian/source/options +++ b/debian/source/local-options diff --git a/debian/source/patch-header b/debian/source/local-patch-header index acde899..acde899 100644 --- a/debian/source/patch-header +++ b/debian/source/local-patch-header |