diff options
Diffstat (limited to 'debian/source')
-rw-r--r-- | debian/source/format | 1 | ||||
-rw-r--r-- | debian/source/local-options | 1 | ||||
-rw-r--r-- | debian/source/options | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 000000000..163aaf8d8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/debian/source/local-options b/debian/source/local-options new file mode 100644 index 000000000..2ee6f0fa1 --- /dev/null +++ b/debian/source/local-options @@ -0,0 +1 @@ +abort-on-upstream-changes diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 000000000..1f261b74c --- /dev/null +++ b/debian/source/options @@ -0,0 +1 @@ +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)$' |