diff options
| author | Bertrand Marc <beberking@gmail.com> | 2012-05-05 14:57:49 +0200 |
|---|---|---|
| committer | Bertrand Marc <beberking@gmail.com> | 2012-05-05 14:57:49 +0200 |
| commit | 816b24d70f1167dcf84a24cfac38b187a8608d26 (patch) | |
| tree | 5a2c6bbdb4567ed1461f834e64c4de2890c17366 | |
| parent | fb1123760ee5d06c5b1a8f02c30b02037b6737e6 (diff) | |
Remove unused debian/gnunet-dev.lintian-overrides
| -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 |