diff options
Diffstat (limited to 'debian/apt.lintian-overrides')
| -rw-r--r-- | debian/apt.lintian-overrides | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/apt.lintian-overrides b/debian/apt.lintian-overrides index 0c4d42d1b..e51d1119f 100644 --- a/debian/apt.lintian-overrides +++ b/debian/apt.lintian-overrides @@ -1,4 +1,2 @@ # the private library is for internal sharing only apt: package-name-doesnt-match-sonames -# external solvers are shipped in here: -apt: package-contains-empty-directory |