From 816b24d70f1167dcf84a24cfac38b187a8608d26 Mon Sep 17 00:00:00 2001 From: Bertrand Marc Date: Sat, 5 May 2012 14:57:49 +0200 Subject: Remove unused debian/gnunet-dev.lintian-overrides --- debian/gnunet-dev.lintian-overrides | 3 --- 1 file changed, 3 deletions(-) delete mode 100644 debian/gnunet-dev.lintian-overrides diff --git a/debian/gnunet-dev.lintian-overrides b/debian/gnunet-dev.lintian-overrides deleted file mode 100644 index 5b4592f..0000000 --- a/debian/gnunet-dev.lintian-overrides +++ /dev/null @@ -1,3 +0,0 @@ -# internal libraries are not splitted out into a dedicated package to avoid -# micropackaging. -gnunet-dev: package-name-doesnt-match-sonames -- cgit v1.2.3-18-g5258