From 090592236763255a379552fca40bb865b68c73e6 Mon Sep 17 00:00:00 2001 From: Stephane Glondu Date: Tue, 26 Sep 2017 11:07:18 +0200 Subject: Remove unused Lintian overrides --- debian/coq-theories.lintian-overrides | 1 - debian/libcoq-ocaml.lintian-overrides | 1 - 2 files changed, 2 deletions(-) delete mode 100644 debian/coq-theories.lintian-overrides delete mode 100644 debian/libcoq-ocaml.lintian-overrides diff --git a/debian/coq-theories.lintian-overrides b/debian/coq-theories.lintian-overrides deleted file mode 100644 index 6ae619ae..00000000 --- a/debian/coq-theories.lintian-overrides +++ /dev/null @@ -1 +0,0 @@ -hardening-no-relro *coq-native* diff --git a/debian/libcoq-ocaml.lintian-overrides b/debian/libcoq-ocaml.lintian-overrides deleted file mode 100644 index 33365c06..00000000 --- a/debian/libcoq-ocaml.lintian-overrides +++ /dev/null @@ -1 +0,0 @@ -hardening-no-relro *plugins*cmxs -- cgit v1.2.3