diff options
Diffstat (limited to 'debian/source/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 993141a7d..1f261b74c 100644 --- a/debian/source/options +++ b/debian/source/options @@ -1 +1 @@ -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)$' +extend-diff-ignore='^(Util/difflog\.pl|configure|config\.h\.in|stamp-h\.in|config\.log|Doc/(version.yo|zsh.*\.1|zsh.texi|Zsh/(man)?mod(list|menu)\.yo)|META-FAQ)$' |