diff options
| author | Kostya M <kostya27@gmail.com> | 2021-06-20 15:24:41 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-20 08:24:41 -0400 |
| commit | 431ea386206da2c9c2f73bd8119345191b679f78 (patch) | |
| tree | b2e80e3b5c77bd43185a3f2f9658f045a58fcaa6 /crates/ignore/src/default_types.rs | |
| parent | caba5c4348767a0379a23d3fa8b247e35db4b53b (diff) | |
ignore/types: add file extensions for Crystal
It sounds like Projectfile is no longer being used,
but we should keep it around in case folks are
still using it. It's unlikely that its presence will
do much if any harm.
PR #1904
Diffstat (limited to 'crates/ignore/src/default_types.rs')
| -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 d4d7db35..7f2abe97 100644 --- a/crates/ignore/src/default_types.rs +++ b/crates/ignore/src/default_types.rs @@ -40,7 +40,7 @@ pub const DEFAULT_TYPES: &[(&str, &[&str])] = &[ "*.[ChH].in", "*.cc.in", "*.[ch]pp.in", "*.[ch]xx.in", "*.hh.in", ]), ("creole", &["*.creole"]), - ("crystal", &["Projectfile", "*.cr"]), + ("crystal", &["Projectfile", "*.cr", "*.ecr", "shard.yml"]), ("cs", &["*.cs"]), ("csharp", &["*.cs"]), ("cshtml", &["*.cshtml"]), |