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