cli: address: Do not output duplicate addresses

[notmuch.git] / debian / source / options

diff --git a/debian/source/options b/debian/source/options
index 7423a2df3dbfe7b87c8f4ccb7de206b49dc9d66e..7e95ec71c11716c84fd576948826748f09074ac3 100644 (file)
--- a/debian/source/options
+++ b/debian/source/options
@@ -1 +1,3 @@
 single-debian-patch
+tar-ignore
+tar-ignore=performance-test/download/*.tar.xz