diff options
| author | Paul Gevers <elbrus@debian.org> | 2015-11-03 15:22:08 +0100 |
|---|---|---|
| committer | Paul Gevers <elbrus@debian.org> | 2015-11-03 16:37:38 +0100 |
| commit | 8225a6306e2084646247766210335d530aca4fd3 (patch) | |
| tree | bf0c18d2ae3807d1cb4ae67d3093760da950dfc3 /debian/source/options | |
| parent | 8411b628c227441d48403a50173dfad2a02684e2 (diff) | |
Set d/s/format to 1.0 but prevent dpkg-source from failing on .git tree
Diffstat (limited to 'debian/source/options')
| -rw-r--r-- | debian/source/options | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 0000000..9b64263 --- /dev/null +++ b/debian/source/options @@ -0,0 +1,3 @@ +# Make sure that with source/format = 1.0 (nice with dgit) we don't fail on the +# .git direcotry +diff-ignore="\.git" |