diff options
| author | Russ Allbery <rra@stanford.edu> | 2013-03-27 15:34:47 -0700 |
|---|---|---|
| committer | Russ Allbery <rra@stanford.edu> | 2013-03-27 15:34:47 -0700 |
| commit | 4e5a7ab9957ab77196fd72d06607942ea34d36a5 (patch) | |
| tree | cebfed83c77fd6c039db07e65fe09b9b6460a5cc /debian/source | |
| parent | 53c291275e479ffe33f012ce0debb0ecd32f693a (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')
| -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 7aa2307..7aa2307 100644 --- a/debian/source/patch-header +++ b/debian/source/local-patch-header |