diff options
| author | Michael Vogt <mvo@debian.org> | 2014-04-01 13:57:22 +0200 |
|---|---|---|
| committer | Michael Vogt <mvo@debian.org> | 2014-04-01 13:57:22 +0200 |
| commit | 8a1c9010137a8c49d9808f2db34b9ee277138986 (patch) | |
| tree | 5ec5c0103cb896407d8c9542fac0ec8ab3313602 /debian/source | |
| parent | fa55ccaa85ca8f85251300f5c5f574edc0c3ca71 (diff) | |
| parent | 417e83d0d79637266e04c98189c62ce85bcdf737 (diff) | |
Merge branch 'debian/sid' into ubuntu/master
Conflicts:
apt-pkg/deb/dpkgpm.cc
debian/apt.auto-removal.sh
debian/changelog
vendor/debian/sources.list.in
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/options | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 000000000..d14f4af37 --- /dev/null +++ b/debian/source/options @@ -0,0 +1,2 @@ +# Use xz compression by default, we save disk space +compression = "xz" |