diff options
| author | Sven-Hendrik Haase <svenstaro@gmail.com> | 2019-11-04 14:28:46 +0100 |
|---|---|---|
| committer | Andrew Gallant <jamslam@gmail.com> | 2020-02-17 17:16:28 -0500 |
| commit | 027adbf4858f8fc96e17e9484b5ce4a0481bfc1c (patch) | |
| tree | 1ef39cb9af9bcc9660c3dac66c7dc55079d04df4 /ignore/src | |
| parent | e71eedf0eb802c27541292f06676aa782be9bd21 (diff) | |
ignore/types: add 'diff' file type
This includes .patch and .diff files.
Fixes #1418, Closes #1419
Diffstat (limited to 'ignore/src')
| -rw-r--r-- | ignore/src/types.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ignore/src/types.rs b/ignore/src/types.rs index 1f8f99b0..fa286b54 100644 --- a/ignore/src/types.rs +++ b/ignore/src/types.rs @@ -134,6 +134,7 @@ const DEFAULT_TYPES: &'static [(&'static str, &'static [&'static str])] = &[ ("dart", &["*.dart"]), ("d", &["*.d"]), ("dhall", &["*.dhall"]), + ("diff", &["*.patch", "*.diff"]), ("docker", &["*Dockerfile*"]), ("edn", &["*.edn"]), ("elisp", &["*.el"]), |