diff options
author | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-13 21:26:32 +0100 |
---|---|---|
committer | Ian Jackson <ijackson@chiark.greenend.org.uk> | 2016-07-13 21:26:32 +0100 |
commit | fef6a04f189f791b9bee9f17797890b12fee495f (patch) | |
tree | ceb89d4c513787b48999a7d35105daddde016fb0 /debian/source | |
parent | cba4af1b7643b0da036ff78fd152f74a906c4e97 (diff) |
Import debian/ directory from 2:8.38-3.1
Diffstat (limited to 'debian/source')
-rw-r--r-- | debian/source/format | 1 | ||||
-rw-r--r-- | debian/source/options | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 0000000..1017a30 --- /dev/null +++ b/debian/source/options @@ -0,0 +1,2 @@ +compression = "gzip" +compression-level = 9 |