From bf87f90d061b86ef30f36ef0f65d0b7dbe851d2c Mon Sep 17 00:00:00 2001
From: "Barak A. Pearlmutter" <barak+git@pearlmutter.net>
Date: Thu, 17 Dec 2015 18:14:37 +0000
Subject: [PATCH] local patch dpkg source option

---
 packaging/debian/source/local-options | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 packaging/debian/source/local-options

diff --git a/packaging/debian/source/local-options b/packaging/debian/source/local-options
new file mode 100644
index 0000000..7423a2d
--- /dev/null
+++ b/packaging/debian/source/local-options
@@ -0,0 +1 @@
+single-debian-patch