diff options
author | Philip Munksgaard <philip@munksgaard.me> | 2021-10-19 15:15:19 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-10-19 09:15:19 -0400 |
commit | 457f53b7ee70064075bd95dab163d6ac772ed03e (patch) | |
tree | 7d27fcfee787ffdad4feddf6ad1bc04f9a48f5fc | |
parent | eb35f7978e29bcb4dc03ad980fd9076faba07966 (diff) |
ignore/types: fix futhark type extension
Previously, the 'fut' type only matches files called '.fut', while in
reality we want to match all files with the '.fut' extension. This
commit fixes that issue.
PR #2027
-rw-r--r-- | crates/ignore/src/default_types.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/ignore/src/default_types.rs b/crates/ignore/src/default_types.rs index 4c5b3479..74d71672 100644 --- a/crates/ignore/src/default_types.rs +++ b/crates/ignore/src/default_types.rs @@ -69,7 +69,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[ "*.f90", "*.F90", "*.f95", "*.F95", ]), ("fsharp", &["*.fs", "*.fsx", "*.fsi"]), - ("fut", &[".fut"]), + ("fut", &["*.fut"]), ("gap", &["*.g", "*.gap", "*.gi", "*.gd", "*.tst"]), ("gn", &["*.gn", "*.gni"]), ("go", &["*.go"]), |