diff options
| author | Michele Calgaro <michele.calgaro@yahoo.it> | 2023-07-23 00:03:50 +0900 |
|---|---|---|
| committer | Michele Calgaro <michele.calgaro@yahoo.it> | 2023-07-23 00:03:50 +0900 |
| commit | b89fb39eb964ec3d3ee65e18348ac3e78f3e64da (patch) | |
| tree | f536b1a418f23f13f9b8ff0c1492161a6cc6dc15 /debian/source | |
| parent | 28a5e3a6b506535a9c16339544619abae01aedd4 (diff) | |
| download | kommando-b89fb39eb964ec3d3ee65e18348ac3e78f3e64da.tar.gz kommando-b89fb39eb964ec3d3ee65e18348ac3e78f3e64da.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/format | 1 | ||||
| -rw-r--r-- | debian/source/options | 6 |
2 files changed, 7 insertions, 0 deletions
diff --git a/debian/source/format b/debian/source/format new file mode 100644 index 0000000..163aaf8 --- /dev/null +++ b/debian/source/format @@ -0,0 +1 @@ +3.0 (quilt) 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 = .* |