From 699e651db2924c918d7c4fe16af6b11af7a88da2 Mon Sep 17 00:00:00 2001 From: jgart <47760695+jgarte@users.noreply.github.com> Date: Tue, 13 Jul 2021 07:59:23 -0400 Subject: ignore/types: add texinfo https://www.gnu.org/software/texinfo/ PR #1934 --- 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 4e3cb8a8..5fec5114 100644 --- a/crates/ignore/src/default_types.rs +++ b/crates/ignore/src/default_types.rs @@ -226,6 +226,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[ ("taskpaper", &["*.taskpaper"]), ("tcl", &["*.tcl"]), ("tex", &["*.tex", "*.ltx", "*.cls", "*.sty", "*.bib", "*.dtx", "*.ins"]), + ("texinfo", &["*.texi"]), ("textile", &["*.textile"]), ("tf", &["*.tf"]), ("thrift", &["*.thrift"]), -- cgit v1.2.3