summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Baumann <daniel.baumann@progress-linux.org>2019-03-02 14:57:11 +0000
committerDaniel Baumann <daniel.baumann@progress-linux.org>2019-03-02 14:59:36 +0000
commitd3d8b078c3b87b4ef6e5691d26f33ad83b8d5f49 (patch)
tree64768b8269bbad4caf1f0ad9f59354fc8128d8d5
parentUpdating packaging for upstream rename. (diff)
downloadopen-infrastructure-service-tools-d3d8b078c3b87b4ef6e5691d26f33ad83b8d5f49.tar.xz
open-infrastructure-service-tools-d3d8b078c3b87b4ef6e5691d26f33ad83b8d5f49.zip
Removing source local-options, not needed anymore.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
Diffstat (limited to '')
-rw-r--r--debian/source/local-options1
1 files changed, 0 insertions, 1 deletions
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