diff options
| author | David Bremner <david@tethera.net> | 2018-09-09 13:46:04 -0300 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2018-09-09 13:46:04 -0300 |
| commit | 8dcc38ce85ce084d3f0f3cbeac7e4a768e651614 (patch) | |
| tree | 78ccef848afad744697689a90314da9de3ea9b78 /debian/source | |
| parent | 4cd5a0a3d5416fd4601f2c14da0845fee5d9ede1 (diff) | |
| parent | 514fb397c9f7cfc80f0b14bd28bb2acdb4cd30ca (diff) | |
Merge tag 'debian/0.27-3'
notmuch release 0.27-3 for unstable (sid) [dgit]
[dgit distro=debian]
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/options | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/source/options b/debian/source/options index 7e95ec71..c9ea1f91 100644 --- a/debian/source/options +++ b/debian/source/options @@ -1,3 +1,2 @@ single-debian-patch -tar-ignore tar-ignore=performance-test/download/*.tar.xz |