From 7d7395ed82370938ac849a8ba50f3ce7273ef015 Mon Sep 17 00:00:00 2001
From: =?utf8?q?IOhannes=20m=20zm=C3=B6lnig?=
 <zmoelnig@umlautS.umlaeute.mur.at>
Date: Tue, 20 Aug 2019 13:46:04 +0200
Subject: [PATCH] Drop obsolete d/source/local-options

---
 debian/source/local-options | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 debian/source/local-options

diff --git a/debian/source/local-options b/debian/source/local-options
deleted file mode 100644
index 9cdfca9f..00000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1,2 +0,0 @@
-unapply-patches
-abort-on-upstream-changes
-- 
2.30.2