diff options
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 |