From 004370bd1619183b54dbaa41719728edfe892ac6 Mon Sep 17 00:00:00 2001
From: Pierre Rouleau <prouleau001@gmail.com>
Date: Mon, 7 Apr 2025 08:51:22 -0400
Subject: [PATCH] ignore/types: add support for Seed7 files

For more info on the Seed7 programming Language see:

- on Wikipedia: https://en.wikipedia.org/wiki/Seed7
- Seed7 home:   https://seed7.sourceforge.net/
- Seed7 repo:   https://github.com/ThomasMertes/seed7

PR #3022
---
 crates/ignore/src/default_types.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/crates/ignore/src/default_types.rs b/crates/ignore/src/default_types.rs
index 2cf8ad80..f1c799aa 100644
--- a/crates/ignore/src/default_types.rs
+++ b/crates/ignore/src/default_types.rs
@@ -232,6 +232,7 @@ pub(crate) const DEFAULT_TYPES: &[(&[&str], &[&str])] = &[
     (&["rust"], &["*.rs"]),
     (&["sass"], &["*.sass", "*.scss"]),
     (&["scala"], &["*.scala", "*.sbt"]),
+    (&["seed7"], &["*.s7d", "*.s7i"]),
     (&["sh"], &[
         // Portable/misc. init files
         ".login", ".logout", ".profile", "profile",