summaryrefslogtreecommitdiff
path: root/debian/source
diff options
context:
space:
mode:
authorMichael Vogt <mvo@debian.org>2014-04-01 13:57:22 +0200
committerMichael Vogt <mvo@debian.org>2014-04-01 13:57:22 +0200
commit8a1c9010137a8c49d9808f2db34b9ee277138986 (patch)
tree5ec5c0103cb896407d8c9542fac0ec8ab3313602 /debian/source
parentfa55ccaa85ca8f85251300f5c5f574edc0c3ca71 (diff)
parent417e83d0d79637266e04c98189c62ce85bcdf737 (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/options2
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"