diff options
| author | Thomas Preud'homme <robotux@celest.fr> | 2019-02-05 23:37:16 +0000 |
|---|---|---|
| committer | Thomas Preud'homme <robotux@celest.fr> | 2019-02-05 23:44:07 +0000 |
| commit | 389037fe4bbb304c9d51c292fceb6a4aa1371de6 (patch) | |
| tree | 0ad0d1dad3a2a3604e3fc37cc1a486288b39ab0f /debian/source | |
| parent | 3bc8da56512c355e64724f39a697a65c3145fa51 (diff) | |
Remove local-options
Diffstat (limited to 'debian/source')
| -rw-r--r-- | debian/source/local-options | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/source/local-options b/debian/source/local-options deleted file mode 100644 index f69901f..0000000 --- a/debian/source/local-options +++ /dev/null @@ -1,2 +0,0 @@ -extend-diff-ignore = "(?:^|/)\.git-dpm$" -tar-ignore = .git-dpm |