diff options
| author | Sean Whitton <spwhitton@spwhitton.name> | 2020-01-02 18:34:57 +0000 |
|---|---|---|
| committer | Sean Whitton <spwhitton@spwhitton.name> | 2020-01-02 18:40:18 +0000 |
| commit | 2468e746eb323248c1055c84dd2430e4a7b09b35 (patch) | |
| tree | 006257886e2e667b55b8873350d00ca347fa11f7 /debian/patches/series | |
| parent | 6dd45ad8f1a8503480429de9decffb540e997a24 (diff) | |
| download | git-repair-2468e746eb323248c1055c84dd2430e4a7b09b35.tar.gz | |
drop remaining patch
Diffstat (limited to 'debian/patches/series')
| -rw-r--r-- | debian/patches/series | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/patches/series b/debian/patches/series deleted file mode 100644 index 621573e..0000000 --- a/debian/patches/series +++ /dev/null @@ -1 +0,0 @@ -patch-common.hs-to-avoid-duplicate-impor.patch |