diff options
author | jgart <47760695+jgarte@users.noreply.github.com> | 2021-07-13 07:59:23 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-13 07:59:23 -0400 |
commit | 699e651db2924c918d7c4fe16af6b11af7a88da2 (patch) | |
tree | a486feee333d4d229236fcde20617589d2ee605c /crates/ignore | |
parent | 9eddb71b8e86a04d7048b920b9b50a2e97068d03 (diff) |
ignore/types: add texinfo
https://www.gnu.org/software/texinfo/
PR #1934
Diffstat (limited to 'crates/ignore')
-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 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"]), |