From 2468e746eb323248c1055c84dd2430e4a7b09b35 Mon Sep 17 00:00:00 2001 From: Sean Whitton Date: Thu, 2 Jan 2020 18:34:57 +0000 Subject: drop remaining patch --- debian/patches/series | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/patches/series (limited to 'debian/patches/series') 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 -- cgit v1.2.3