Remove debian/source/local-options
authorStephane Glondu <steph@glondu.net>
Tue, 6 Aug 2019 07:31:06 +0000 (09:31 +0200)
committerStephane Glondu <Stéphane Glondu glondu@debian.org>
Tue, 6 Aug 2019 07:31:06 +0000 (09:31 +0200)
debian/source/local-options [deleted file]

diff --git a/debian/source/local-options b/debian/source/local-options
deleted file mode 100644 (file)
index c4cf480..0000000
+++ /dev/null
@@ -1,2 +0,0 @@
-abort-on-upstream-changes
-unapply-patches