diff options
author | Axel Beckert <abe@deuxchevaux.org> | 2012-01-22 19:49:09 +0100 |
---|---|---|
committer | Axel Beckert <abe@deuxchevaux.org> | 2012-01-22 19:49:09 +0100 |
commit | f6f9a83ef1851e7eb9e049534e0dac8d7bcaa2bc (patch) | |
tree | 4e09cc1c721ef9b13948072454f5c6a12a7b452f | |
parent | 24d10908f88c1cdf61afbd2c0ca094cad2507747 (diff) | |
download | zsh-f6f9a83ef1851e7eb9e049534e0dac8d7bcaa2bc.tar.gz zsh-f6f9a83ef1851e7eb9e049534e0dac8d7bcaa2bc.zip |
Add some more (re)generated files to extend-diff-ignore in 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 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)$' |