diff options
author | 2019-01-18 13:28:22 +0100 | |
---|---|---|
committer | 2019-01-20 16:14:24 +0000 | |
commit | 4d2f86a1ebcfc952080386603354c4767d2c8825 (patch) | |
tree | d20ed373877bfbf145d3b7ed0773a0cdbfaee32e /build-root/deb/debian/source | |
parent | e67c1d8242fec255e7449fedcbdec5c66bb3f7b2 (diff) |
Rework of debian packaging
Change-Id: Ifede85d3af36f3ee6c6f8f92dcf5db0ed8f1bfeb
Signed-off-by: Damjan Marion <damarion@cisco.com>
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'build-root/deb/debian/source')
-rwxr-xr-x | build-root/deb/debian/source/format | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/build-root/deb/debian/source/format b/build-root/deb/debian/source/format deleted file mode 100755 index 89ae9db8f88..00000000000 --- a/build-root/deb/debian/source/format +++ /dev/null @@ -1 +0,0 @@ -3.0 (native) |