diff options
| author | David Bremner <bremner@debian.org> | 2022-06-13 10:21:02 -0300 |
|---|---|---|
| committer | David Bremner <bremner@debian.org> | 2022-06-13 10:21:02 -0300 |
| commit | 67bd452f10612c43a750fa7e36c84ed712f0319a (patch) | |
| tree | 2920759c2a7cdc134fca2aa64ada51ec0b3b538b /debian | |
| parent | a3d1b7d8e7803a4eec711835e7ef2bfa1093771e (diff) | |
debian: remove override for long fixed lintian bug
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/source/lintian-overrides | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides deleted file mode 100644 index ff93e0c5da..0000000000 --- a/debian/source/lintian-overrides +++ /dev/null @@ -1,2 +0,0 @@ -# False positive. See Debian bug #877999 -racket source: license-problem-non-free-RFC debian/copyright |