diff options
| author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2017-07-18 00:16:04 +0200 |
|---|---|---|
| committer | David Bremner <david@tethera.net> | 2017-07-18 06:45:18 -0300 |
| commit | 02b19c3193c0e9b5d082cd13666a385e81aa5a2a (patch) | |
| tree | aceaaf397a6b600f0921f2021ff263a192aa9a54 /debian | |
| parent | 5b6d1d720efe1b96d174da37a434508603bb1d83 (diff) | |
avoid false lintian warning about "iff"
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/notmuch.lintian-overrides | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/notmuch.lintian-overrides b/debian/notmuch.lintian-overrides new file mode 100644 index 00000000..fb5bc076 --- /dev/null +++ b/debian/notmuch.lintian-overrides @@ -0,0 +1,2 @@ +# this document uses iff in the mathematical sense of "if and only if" +spelling-error-in-manpage usr/share/man/man3/notmuch.3.gz iff if |