mirrors/ripgrep
1
0
Fork 0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-08-04 18:18:17 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 1

ignore/types: fix Seed7 file extension

Browse source 
PR #3023
This commit is contained in:
Pierre Rouleau 2025-04-07 10:53:32 -04:00 • committed by GitHub
parent 004370bd16
commit 5fbc4fee64
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
crates/ignore/src/default_types.rs
View file

@ -232,7 +232,7 @@ pub(crate) const DEFAULT_TYPES: &[(&[&str], &[&str])] = &[
(&["rust"], &["*.rs"]),
(&["sass"], &["*.sass", "*.scss"]),
(&["scala"], &["*.scala", "*.sbt"]),
(&["seed7"], &["*.s7d", "*.s7i"]),
(&["seed7"], &["*.sd7", "*.s7i"]),
(&["sh"], &[
// Portable/misc. init files
".login", ".logout", ".profile", "profile",