diff options
| -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 04d2d969..329d5418 100644 --- a/crates/ignore/src/default_types.rs +++ b/crates/ignore/src/default_types.rs @@ -118,6 +118,7 @@ pub(crate) const DEFAULT_TYPES: &[(&[&str], &[&str])] = &[ (&["jupyter"], &["*.ipynb", "*.jpynb"]), (&["k"], &["*.k"]), (&["kotlin"], &["*.kt", "*.kts"]), + (&["lean"], &["*.lean"]), (&["less"], &["*.less"]), (&["license"], &[ // General |