diff options
author | Vanessa McHale <vmchale@users.noreply.github.com> | 2020-10-31 11:10:15 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-10-31 12:10:15 -0400 |
commit | e1ac18ef069878db1179706cb35ae08e1db6978b (patch) | |
tree | 928bfed808148aed369a1f2deb59ce0a075ee0f7 | |
parent | ba3f9673ad2dcf42a837f3eb00c4927a6e66b071 (diff) |
ignore/types: add Futhark
See: https://futhark-lang.org/
PR #1720
-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 36a75a06..215819f3 100644 --- a/crates/ignore/src/default_types.rs +++ b/crates/ignore/src/default_types.rs @@ -68,6 +68,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[ "*.f90", "*.F90", "*.f95", "*.F95", ]), ("fsharp", &["*.fs", "*.fsx", "*.fsi"]), + ("fut", &[".fut"]), ("gap", &["*.g", "*.gap", "*.gi", "*.gd", "*.tst"]), ("gn", &["*.gn", "*.gni"]), ("go", &["*.go"]), |