diff options
| -rw-r--r-- | debian/gnunet-dev.lintian-overrides | 3 |
1 files changed, 0 insertions, 3 deletions
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 |