From 4538fd673d9de4a9764f7ce96e35dc9d4e4977cf Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sl=C3=A1vek=20Banko?= Date: Sun, 9 Mar 2014 03:26:50 +0100 Subject: Housekeeping in Debian and Ubuntu --- ubuntu/precise/kdevelop.cmake/debian/source/options | 6 ------ 1 file changed, 6 deletions(-) delete mode 100644 ubuntu/precise/kdevelop.cmake/debian/source/options (limited to 'ubuntu/precise/kdevelop.cmake/debian/source/options') diff --git a/ubuntu/precise/kdevelop.cmake/debian/source/options b/ubuntu/precise/kdevelop.cmake/debian/source/options deleted file mode 100644 index 72f1f5450..000000000 --- a/ubuntu/precise/kdevelop.cmake/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 = .* -- cgit v1.2.1