diff options
| author | Michele Calgaro <michele.calgaro@yahoo.it> | 2020-11-15 19:23:30 +0800 |
|---|---|---|
| committer | Michele Calgaro <michele.calgaro@yahoo.it> | 2020-11-15 19:23:30 +0800 |
| commit | 0277521b268b21caf0ee21202b92784f302baadc (patch) | |
| tree | 5d856f96adfbe46b57da31cf60daa1084b4e7a1e /ubuntu/_base/tdewebdev/debian/source/options | |
| parent | eb16e7c7281e182297581fa8d565561869c81bca (diff) | |
| download | tde-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/tdewebdev/debian/source/options')
| -rw-r--r-- | ubuntu/_base/tdewebdev/debian/source/options | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/ubuntu/_base/tdewebdev/debian/source/options b/ubuntu/_base/tdewebdev/debian/source/options deleted file mode 100644 index 72f1f5450..000000000 --- a/ubuntu/_base/tdewebdev/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 = .* |