diff options
| author | Michele Calgaro <michele.calgaro@yahoo.it> | 2021-12-19 18:21:41 +0900 |
|---|---|---|
| committer | Michele Calgaro <michele.calgaro@yahoo.it> | 2021-12-19 20:08:42 +0900 |
| commit | 796d4dc1ab15ce7f898d3fc0014e4b64a0be155d (patch) | |
| tree | 61c41ed684654f51b755755ca26c95ec4e9aa0d1 /debian/source | |
| parent | 5dec9a4c64674f48381c6e923d2af68b4e7bf92d (diff) | |
| download | polkit-agent-tde-796d4dc1ab15ce7f898d3fc0014e4b64a0be155d.tar.gz polkit-agent-tde-796d4dc1ab15ce7f898d3fc0014e4b64a0be155d.zip | |
DEB: updated packaging files to TDE standard.
Signed-off-by: Michele Calgaro <michele.calgaro@yahoo.it>
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/options | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 0000000..72f1f54 --- /dev/null +++ b/debian/source/options @@ -0,0 +1,6 @@ +# Use xz instead of gzip +compression = "xz" +compression-level = 9 + +# Don't run differences +diff-ignore = .* |