diff options
| author | Wolf Honore <wolfhonore@gmail.com> | 2020-02-28 19:11:29 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-02-28 19:11:29 -0500 |
| commit | 227436624f2b76a4cc5e7f6c2d7cd9dc2f597d20 (patch) | |
| tree | 6fd8d5f1ebf8a62c414ac1ef3dcb6372faf50954 | |
| parent | 5bfdd3a65223cbcc1430090162318ab2088d4380 (diff) | |
ignore/types: add coq type
PR #1504
| -rw-r--r-- | crates/ignore/src/default_types.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/crates/ignore/src/default_types.rs b/crates/ignore/src/default_types.rs index 8f96a903..21b1c085 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", |