Update Lintian overrides
authorStephane Glondu <steph@glondu.net>
Fri, 24 Jul 2020 14:47:44 +0000 (16:47 +0200)
committerStéphane Glondu <glondu@debian.org>
Fri, 24 Jul 2020 14:51:29 +0000 (16:51 +0200)
commite724aba7dfdf99d5dd978616823877a8206fa912
tree49040c7d96c0f3f60a763e2446f8820894775d8c
parent620dc95e2f2fdc97945e176d3e9e42dfe26c4a0e
Update Lintian overrides
debian/ocaml-base-nox.lintian-overrides [new file with mode: 0644]
debian/ocaml-man.lintian-overrides [deleted file]
debian/ocaml-nox.lintian-overrides.in