From b1656fe62adb0bbbee4081b07eb42941b1c5696e Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Sat, 29 Dec 2018 15:41:23 -0500
Subject: Correct spelling errors

---
 debian/coq.lintian-overrides | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 debian/coq.lintian-overrides

(limited to 'debian/coq.lintian-overrides')

diff --git a/debian/coq.lintian-overrides b/debian/coq.lintian-overrides
new file mode 100644
index 00000000..1c84a5d0
--- /dev/null
+++ b/debian/coq.lintian-overrides
@@ -0,0 +1,2 @@
+# False positive spelling error.
+coq binary: spelling-error-in-binary usr/bin/coqwc tage stage
-- 
cgit v1.2.3