From d3d8b078c3b87b4ef6e5691d26f33ad83b8d5f49 Mon Sep 17 00:00:00 2001
From: Daniel Baumann <daniel.baumann@progress-linux.org>
Date: Sat, 2 Mar 2019 15:57:11 +0100
Subject: Removing source local-options, not needed anymore.

Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
---
 debian/source/local-options | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 debian/source/local-options

diff --git a/debian/source/local-options b/debian/source/local-options
deleted file mode 100644
index 2ee6f0f..0000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1 +0,0 @@
-abort-on-upstream-changes
-- 
cgit v1.2.3