From 815c6c05ba6cd3f3b426e39092b3b930b1b05bf1 Mon Sep 17 00:00:00 2001 From: Didier Raboud Date: Sat, 10 Feb 2018 15:37:18 +0100 Subject: Drop source/local-options --- debian/source/local-options | 2 -- 1 file changed, 2 deletions(-) delete mode 100644 debian/source/local-options diff --git a/debian/source/local-options b/debian/source/local-options deleted file mode 100644 index dc7a3c6..0000000 --- a/debian/source/local-options +++ /dev/null @@ -1,2 +0,0 @@ -unapply-patches -single-debian-patch -- cgit v1.2.3