diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2020-07-15 13:42:21 -0700 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-07-15 13:43:05 -0700 |
| commit | ea1301879a60ebfb4fa3e2241d814d97e34b7599 (patch) | |
| tree | b3169c36eacee32fb432456853714844f2876ce3 /debian/source/options | |
| parent | 27a27fcf9c361757a7e3768bc56bf6ef39960d14 (diff) | |
| download | git-repair-ea1301879a60ebfb4fa3e2241d814d97e34b7599.tar.gz | |
Source package configuration for 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 |