diff options
| -rw-r--r-- | debian/source/options | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/source/options b/debian/source/options index e62b4b061..993141a7d 100644 --- a/debian/source/options +++ b/debian/source/options @@ -1 +1 @@ -extend-diff-ignore='^(Util/difflog\.pl|configure|config\.h\.in)$' +extend-diff-ignore='^(Util/difflog\.pl|configure|config\.h\.in|config\.log|Doc/(version.yo|zsh.*\.1|zsh.texi|Zsh/(man)?mod(list|menu)\.yo)|META-FAQ)$' |