From f316e443f5a8f9889f37e2b550d5352e6f2644aa Mon Sep 17 00:00:00 2001 From: Sophie Brun Date: Wed, 21 Aug 2019 10:22:11 +0200 Subject: [PATCH] Remove useless debian/docs --- debian/docs | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 debian/docs diff --git a/debian/docs b/debian/docs deleted file mode 100644 index 1471ef4..0000000 --- a/debian/docs +++ /dev/null @@ -1,4 +0,0 @@ -docs/AUTHORS -docs/CHANGELOG -docs/CHANGELOG -docs/TODO