diff options
author | Stephane Glondu <steph@glondu.net> | 2017-09-26 11:07:18 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2017-09-26 11:09:14 +0200 |
commit | 090592236763255a379552fca40bb865b68c73e6 (patch) | |
tree | e849e2b822262ec8af1c9f8569afcbb60d0de4de /debian | |
parent | c2f1eda504659079238313826fc9c60e981af531 (diff) |
Remove unused Lintian overrides
Diffstat (limited to 'debian')
-rw-r--r-- | debian/coq-theories.lintian-overrides | 1 | ||||
-rw-r--r-- | debian/libcoq-ocaml.lintian-overrides | 1 |
2 files changed, 0 insertions, 2 deletions
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 |