diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2017-06-18 22:22:57 +0100 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2017-06-18 22:22:57 +0100 |
| commit | e248eadc110aaed53eb50769839888e01ab2778f (patch) | |
| tree | ae8248fa9d865cb81ab40f38fd863e0a69858d01 /debian | |
| parent | af4b4fd87bddee1b96eb1a9613d6b8e96cd8aa98 (diff) | |
drop d/source/local-options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rw-r--r-- | debian/source/local-options | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 2b9d6fb..3ac12c6 100644 --- a/debian/changelog +++ b/debian/changelog @@ -2,6 +2,7 @@ let-alist (1.0.5-1) UNRELEASED; urgency=medium * New upstream release. * Update copyright years. + * Drop d/source/local-options for dgit. -- Sean Whitton <spwhitton@spwhitton.name> Sun, 18 Jun 2017 22:21:32 +0100 diff --git a/debian/source/local-options b/debian/source/local-options deleted file mode 100644 index 93deefb..0000000 --- a/debian/source/local-options +++ /dev/null @@ -1,2 +0,0 @@ -single-debian-patch -unapply-patches |