diff options
author | Robert Irelan <rirelan@gmail.com> | 2020-01-29 10:59:34 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-29 13:59:34 -0500 |
commit | e76807b1b5d01474dcfa24cd2092deb40f636930 (patch) | |
tree | e871a67fd99056a63b807ad08832cc8e57aa37eb /ignore/src | |
parent | f8fb65f7e301e46d22db7d733acb9c9092c68075 (diff) |
ignore/types: add *.org_archive to org file type
.org_archive is the default extension for Org archive files, created when
entries from an Org-mode file are archived (see
<https://orgmode.org/org.html#Moving-subtrees>). These files are still in Org
mode format, so it's worth searching them at the same time as non-archive Org
mode files.
PR #1475
Diffstat (limited to 'ignore/src')
-rw-r--r-- | ignore/src/types.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ignore/src/types.rs b/ignore/src/types.rs index d6deb2bf..4eff9148 100644 --- a/ignore/src/types.rs +++ b/ignore/src/types.rs @@ -226,7 +226,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[ ("objc", &["*.h", "*.m"]), ("objcpp", &["*.h", "*.mm"]), ("ocaml", &["*.ml", "*.mli", "*.mll", "*.mly"]), - ("org", &["*.org"]), + ("org", &["*.org", "*.org_archive"]), ("pascal", &["*.pas", "*.dpr", "*.lpr", "*.pp", "*.inc"]), ("perl", &["*.perl", "*.pl", "*.PL", "*.plh", "*.plx", "*.pm", "*.t"]), ("pdf", &["*.pdf"]), |