From 5f9d8ba4910d85bc82825c08ebc4601969a904a2 Mon Sep 17 00:00:00 2001
From: Thomas Preud'homme <robotux@celest.fr>
Date: Fri, 2 Mar 2018 21:26:32 +0000
Subject: Remove local-options

Remove local-options as recommended by dgit-maint-merge manpage.
---
 debian/source/local-options | 6 ------
 1 file changed, 6 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 4ad7093..0000000
--- a/debian/source/local-options
+++ /dev/null
@@ -1,6 +0,0 @@
-# Also ignore .git-dpm and gbp.conf
-extend-diff-ignore = "(?:^|/)\.git(ignore|-dpm)?(?:$|/.*$)"
-extend-diff-ignore = "(?:^|/)gbp\.conf(?:$|/.*$)"
-tar-ignore = .gitignore
-tar-ignore = .git-dpm
-tar-ignore = gbp.conf
-- 
cgit v1.2.3