From 56c7ad175ac1326e8d36a880061ca3b0e67ad5ea Mon Sep 17 00:00:00 2001
From: amesgen <amesgen@amesgen.de>
Date: Thu, 7 Dec 2023 17:46:00 +0100
Subject: ignore/types: add Lean

Ref: https://lean-lang.org/

PR #2678
---
 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 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
-- 
cgit v1.2.3