diff options
author | Thomas Preud'homme <robotux@celest.fr> | 2018-03-02 21:26:32 +0000 |
---|---|---|
committer | Thomas Preud'homme <robotux@celest.fr> | 2018-03-05 21:37:24 +0000 |
commit | 5f9d8ba4910d85bc82825c08ebc4601969a904a2 (patch) | |
tree | 561fa3240a32a2f30433e9ca07cd0dd24c062a8e | |
parent | 6d867f5d5674e280bddb1af4dda7286ba034aaa1 (diff) |
Remove local-options
Remove local-options as recommended by dgit-maint-merge manpage.
-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 |