From d2c2077272e727fad67caacb5afe75aae7b68b2e Mon Sep 17 00:00:00 2001
From: Thomas Preud'homme <robotux@celest.fr>
Date: Fri, 9 Mar 2018 21:44:57 +0000
Subject: Remove local-options to satisfy dgit

---
 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