From d529e9bd48dedad5df3876caa769a847750f0f41 Mon Sep 17 00:00:00 2001 From: Didier Raboud Date: Fri, 9 Feb 2018 17:37:55 +0100 Subject: Drop source/local-options --- debian/source/local-options | 1 - 1 file changed, 1 deletion(-) delete mode 100644 debian/source/local-options diff --git a/debian/source/local-options b/debian/source/local-options deleted file mode 100644 index 4aceb10..0000000 --- a/debian/source/local-options +++ /dev/null @@ -1 +0,0 @@ -unapply-patches -- cgit v1.2.3