diff options
| author | Guillem Jover <guillem@debian.org> | 2017-09-24 17:24:48 +0200 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2017-09-24 21:03:10 +0200 |
| commit | 9c4320832595d8f8f5168a37679fc4e901a2e974 (patch) | |
| tree | e39f7f5d3f33b6a3862edc33fa44dffe14ed8178 /debian/source | |
| parent | 4dabb60bcd0488bac46e4f1daba8c0d8a0d8d65d (diff) | |
| download | dpkg-9c4320832595d8f8f5168a37679fc4e901a2e974.tar.gz | |
debian: Do not set redundant source compression to xz
The default source compression has been xz for a while.
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/options | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/source/options b/debian/source/options deleted file mode 100644 index f973ce5bb..000000000 --- a/debian/source/options +++ /dev/null @@ -1,2 +0,0 @@ -# Use xz compression by default, we save 4.6 MiB -compression = "xz" |