diff options
| author | Thomas Preud'homme <robotux@celest.fr> | 2018-03-09 21:44:57 +0000 |
|---|---|---|
| committer | Thomas Preud'homme <robotux@celest.fr> | 2018-03-09 21:51:33 +0000 |
| commit | d2c2077272e727fad67caacb5afe75aae7b68b2e (patch) | |
| tree | dd21c4f5db19840879cc2dc1e59f2a7c5e554978 | |
| parent | 1ad3522c86580c84375dc41f8c82ce3a6a758e1d (diff) | |
Remove local-options to satisfy dgit
| -rw-r--r-- | debian/source/local-options | 6 |
1 files changed, 0 insertions, 6 deletions
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 |