diff options
author | Raphaël Hertzog <hertzog@debian.org> | 2016-11-22 18:27:41 +0100 |
---|---|---|
committer | Raphaël Hertzog <hertzog@debian.org> | 2016-11-28 20:58:18 +0100 |
commit | f152f99599c7f2db16cdf38a5a5ab2d3fdba0791 (patch) | |
tree | b89a806448e2ab7e3dae78d69a91ea94759cf22c /debian/source | |
parent | 674794a8f4d61a729d2dbd6d99385d2826138694 (diff) | |
download | vyos-live-build-f152f99599c7f2db16cdf38a5a5ab2d3fdba0791.tar.gz vyos-live-build-f152f99599c7f2db16cdf38a5a5ab2d3fdba0791.zip |
Drop debian/source/{local-options,options} as they are no longer needed.
Diffstat (limited to 'debian/source')
-rw-r--r-- | debian/source/local-options | 1 | ||||
-rw-r--r-- | debian/source/options | 1 |
2 files changed, 0 insertions, 2 deletions
diff --git a/debian/source/local-options b/debian/source/local-options deleted file mode 100644 index 2ee6f0fa1..000000000 --- a/debian/source/local-options +++ /dev/null @@ -1 +0,0 @@ -abort-on-upstream-changes diff --git a/debian/source/options b/debian/source/options deleted file mode 100644 index 5bd47b78d..000000000 --- a/debian/source/options +++ /dev/null @@ -1 +0,0 @@ -compression = xz |