diff options
author | Thadeu Lima de Souza Cascardo <cascardo@debian.org> | 2018-12-17 14:59:10 -0200 |
---|---|---|
committer | Thadeu Lima de Souza Cascardo <cascardo@debian.org> | 2019-01-05 09:17:24 -0200 |
commit | 6dfec35e472e75e652bcf893c699d8aa4e49d186 (patch) | |
tree | 9b17801ce473ca2bcddf62bc66b30b957c5d9102 /debian | |
parent | be298edda0b8fd3f4560d41bfab5b107679969e6 (diff) |
debian: remove debian/source/local-options
This is not needed anymore that we are using dgit. Upstream changes will be
committed directly, then converted to quilt series when creating the source
package.
Signed-off-by: Thadeu Lima de Souza Cascardo <cascardo@debian.org>
Diffstat (limited to 'debian')
-rw-r--r-- | debian/source/local-options | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/source/local-options b/debian/source/local-options deleted file mode 100644 index afd05a8..0000000 --- a/debian/source/local-options +++ /dev/null @@ -1 +0,0 @@ ---unapply-patches |