From 794aa21ed6cba844aed8c37f0c4d73b5fc12a90f Mon Sep 17 00:00:00 2001 From: Michael Prokop Date: Fri, 25 May 2018 12:15:09 +0200 Subject: [PATCH] Drop empty debian/docs --- debian/docs | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 debian/docs diff --git a/debian/docs b/debian/docs deleted file mode 100644 index e69de29..0000000 -- 2.1.4