From 23b2543efb6917219b91c948741e7d95c67babee Mon Sep 17 00:00:00 2001 From: Alf Gaida Date: Sun, 13 Sep 2015 00:50:50 +0200 Subject: [PATCH] fixed source options --- debian/source/{option => options} | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename debian/source/{option => options} (100%) diff --git a/debian/source/option b/debian/source/options similarity index 100% rename from debian/source/option rename to debian/source/options