From 227436624f2b76a4cc5e7f6c2d7cd9dc2f597d20 Mon Sep 17 00:00:00 2001
From: Wolf Honore <wolfhonore@gmail.com>
Date: Fri, 28 Feb 2020 19:11:29 -0500
Subject: [PATCH] ignore/types: add coq type

PR #1504
---
 crates/ignore/src/default_types.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/ignore/src/default_types.rs b/crates/ignore/src/default_types.rs
index 8f96a90..21b1c08 100644
--- a/crates/ignore/src/default_types.rs
+++ b/crates/ignore/src/default_types.rs
@@ -34,6 +34,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[
     ("cmake", &["*.cmake", "CMakeLists.txt"]),
     ("coffeescript", &["*.coffee"]),
     ("config", &["*.cfg", "*.conf", "*.config", "*.ini"]),
+    ("coq", &["*.v"]),
     ("cpp", &[
         "*.[ChH]", "*.cc", "*.[ch]pp", "*.[ch]xx", "*.hh",  "*.inl",
         "*.[ChH].in", "*.cc.in", "*.[ch]pp.in", "*.[ch]xx.in", "*.hh.in",