diff options
author | gustavo panizzo <gfa@zumbi.com.ar> | 2020-05-24 23:32:59 +0200 |
---|---|---|
committer | gustavo panizzo <gfa@zumbi.com.ar> | 2020-05-24 23:32:59 +0200 |
commit | c30bf0ed9249b2382fc454adabf658e2c264ae6f (patch) | |
tree | 5dba083e0ce7f11ba44c54847b542beb1141f08a /debian/source/options | |
parent | 44d9d760a4ae01cdbe75ce67831706a84524c293 (diff) |
add recommended options to d/source/options from dgit-maint-merge(7)
Diffstat (limited to 'debian/source/options')
-rw-r--r-- | debian/source/options | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/source/options b/debian/source/options new file mode 100644 index 0000000..ce071fb --- /dev/null +++ b/debian/source/options @@ -0,0 +1,2 @@ +single-debian-patch +auto-commit |