summaryrefslogtreecommitdiffstats
path: root/ubuntu/_base/tdevelop/debian/source/options
diff options
context:
space:
mode:
authorMichele Calgaro <michele.calgaro@yahoo.it>2020-11-15 19:23:30 +0800
committerMichele Calgaro <michele.calgaro@yahoo.it>2020-11-15 19:23:30 +0800
commit0277521b268b21caf0ee21202b92784f302baadc (patch)
tree5d856f96adfbe46b57da31cf60daa1084b4e7a1e /ubuntu/_base/tdevelop/debian/source/options
parenteb16e7c7281e182297581fa8d565561869c81bca (diff)
downloadtde-packaging-0277521b268b21caf0ee21202b92784f302baadc.tar.gz
tde-packaging-0277521b268b21caf0ee21202b92784f302baadc.zip
DEB: adjusted to new 'core' folder for main packages.
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
Diffstat (limited to 'ubuntu/_base/tdevelop/debian/source/options')
-rw-r--r--ubuntu/_base/tdevelop/debian/source/options6
1 files changed, 0 insertions, 6 deletions
diff --git a/ubuntu/_base/tdevelop/debian/source/options b/ubuntu/_base/tdevelop/debian/source/options
deleted file mode 100644
index 72f1f5450..000000000
--- a/ubuntu/_base/tdevelop/debian/source/options
+++ /dev/null
@@ -1,6 +0,0 @@
-# Use xz instead of gzip
-compression = "xz"
-compression-level = 9
-
-# Don't run differences
-diff-ignore = .*