diff options
| author | Michele Calgaro <michele.calgaro@yahoo.it> | 2022-01-29 19:38:23 +0900 |
|---|---|---|
| committer | Michele Calgaro <michele.calgaro@yahoo.it> | 2022-01-29 19:38:23 +0900 |
| commit | f14f53cd10b35c41dac263258101fbc20a257cd7 (patch) | |
| tree | ba5b3f16c16bf3d23fc1858c7eebbeaf9f1e7694 /debian/source/options | |
| parent | 5adcb8f8b6f59c089820aabcc877f56459f3d5aa (diff) | |
| download | polkit-agent-tde-f14f53cd10b35c41dac263258101fbc20a257cd7.tar.gz polkit-agent-tde-f14f53cd10b35c41dac263258101fbc20a257cd7.zip | |
Removed DEB files which will be moved to tde-packaging repo.
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
Diffstat (limited to 'debian/source/options')
| -rw-r--r-- | debian/source/options | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/debian/source/options b/debian/source/options deleted file mode 100644 index 72f1f54..0000000 --- a/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 = .* |